[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Suppressing system-banner on startup

From: Camm Maguire
Subject: [Gcl-devel] Suppressing system-banner on startup
Date: Tue, 10 Sep 2013 14:40:47 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)

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 


"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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]