Geomol/World — Issue #13: Executing a script should default to quiet mode
Author: earl
Created: 2011-12-22 19:38:10+00:00
State: open

Currently, World prints the whole gamut of startup banners even when executing a script:

$ ./world_linux hello.w
Loading Cortex... Done
World/Cortex 0 Copyright (c) 2009-2011 John Niclasen, NicomSoft
build: Dec 22 2011 09:52:46
hello, world!
$

For executing scripts, this excessive verbosity is rarely useful. Instead, executing a script should default to quiet mode (i.e. as if `-q` was passed to the World interpreter).