Geomol / World

World Programming Language
http://world-lang.org
22 stars 7 forks source link

Executing a script should default to quiet mode #13

Closed earl closed 12 years ago

earl commented 12 years ago

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).

Geomol commented 12 years ago

Fixed.

earl commented 12 years ago

Fixed in 6b9c6389f3c40c42799072fb211a9cd7371e99a7.