summaryrefslogtreecommitdiff
path: root/module/ice-9/command-line.scm
diff options
context:
space:
mode:
Diffstat (limited to 'module/ice-9/command-line.scm')
-rw-r--r--module/ice-9/command-line.scm4
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)))