Matt Kaufmann <kaufm...@cs.utexas.edu> 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 c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org https://lists.gnu.org/mailman/listinfo/gcl-devel
