Re: GUILE_QUIET=1 guile → suppress REPL welcome message (fixed message format)

"Dr. Arne Babenhauserheide" <[email protected]> Sat, 05 Oct 2024 12:23:11 +0200

Newsgroups	gmane.lisp.guile.devel
Message-ID	<[email protected]>

Hi Matt,

Matt Wette <[email protected]> writes:
> I got it working.   I made two changes:

Nice!

> 1) I updated the change to ice-9/command-line.scm.  The `patch'
> command rejected the location of the `-I' option placement.

> 2) I reverted the change to system/repl/common.scm which had changed
> the output of the welcome message from default output port to
> info-port. This was causing the repl-server test to fail. If a user
> uses Guile as a extension, and does not want the default Guile welcome
> message, they can generate their own repl.

Thank you!

This fixes the compilation messages (a very long standing complaint),
but I think it should also silence the license information message.

Since you’re already defining the info-fluid, you could check for that
similar to the following (but maybe cleaner: just checking for the info
port could byte us later on):

modified   module/system/repl/repl.scm
@@ -159,7 +159,8 @@
   (% (with-fluids ((*repl-stack*
                     (cons repl (or (fluid-ref *repl-stack*) '()))))
        (if (null? (cdr (fluid-ref *repl-stack*)))
-           (repl-welcome repl))
+           (when (file-port? (fluid-ref (parameter-fluid current-output-port)))
+             (repl-welcome repl)))
        (let prompt-loop ()
          (let ((exp (prompting-meta-read repl)))
            (cond


Do you see a cleaner way to do this? If you have one, that would be
great, because it would be the final step to make Guile much more
convenient for scripting (for example it would save me a ton of hacks
☺).


Best wishes,
Arne
-- 
Unpolitisch sein
heißt politisch sein,
ohne es zu merken.
draketo.de

signature.asc (application/pgp-signature, 1.1 KB)