[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Suppressing system-banner on startup
From: |
Matt Kaufmann |
Subject: |
Re: [Gcl-devel] Suppressing system-banner on startup |
Date: |
Tue, 10 Sep 2013 14:59:31 -0500 |
Hi, Camm --
I had started to develop something rather like that, but stalled out
because I wanted a solution that works for all versions of GCL. But
I'm glad you asked, because it triggered a memory that I can use GCL
version numbers to control what happens. So, I now have a solution.
So, whatever you decide is best for -f will be fine with me (as I
don't plan to use it).
That said, my solution is in the devlopment (svn) copy of ACL2. When
I build ACL2 6.2 with GCL 2.6.9, it doesn't print the banner until the
first time ACL2's read-eval-print loop is exited. That's odd, but
it's not really a big deal. If you care, I could send you a patch for
ACL2 6.2.
Thanks --
-- Matt
From: Camm Maguire <address@hidden>
Date: Tue, 10 Sep 2013 14:40:47 -0400
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