[Gcl-devel] Suppressing system-banner on startup

[Camm Maguire]

Matt Kaufmann <address@hidden> writes:

> What I'd really like, though, is a way to suppress the banner.  ACL2

Greetings!  How about this?

gcl -eval "(progn (defvar *my-system-banner* si::*system-banner*)(makunbound 
'si::*system-banner*))"


>*my-system-banner*

"GCL (GNU Common Lisp)  2.6.9 CLtL1    Aug 28 2013 17:00:47
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
"

>

Take care,
-- 
Camm Maguire                                        address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah