diff options
Diffstat (limited to 'module/ice-9/command-line.scm')
-rw-r--r-- | module/ice-9/command-line.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/module/ice-9/command-line.scm b/module/ice-9/command-line.scm index 5133d8d44..32a56ad11 100644 --- a/module/ice-9/command-line.scm +++ b/module/ice-9/command-line.scm @@ -135,6 +135,7 @@ If FILE begins with `-' the -s switch is mandatory. files. --listen[=P] listen on a local port or a path for REPL clients; if P is not given, the default is local port 37146 + -I silence informative diagnostics -q inhibit loading of user init file --use-srfi=LS load SRFI modules for the SRFIs in LS, which is a list of numbers like \"2,13,14\" @@ -382,6 +383,9 @@ If FILE begins with `-' the -s switch is mandatory. (parse args (cons '(install-r7rs!) out))) + ((string=? arg "-I") ; silence diagostics + (parse args (cons `(current-info-port (%make-void-port "w")) out))) + ((string=? arg "--listen") ; start a repl server (parse args (cons '((@@ (system repl server) spawn-server)) out))) |