- '#' as the first character of a line starts a comment
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 21 Jun 2000 21:05:38 +0000 (21:05 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 21 Jun 2000 21:05:38 +0000 (21:05 +0000)
ginsh/ginsh.1
ginsh/ginsh_lexer.ll

index b84aca9..199b0e8 100644 (file)
@@ -39,7 +39,9 @@ or type an EOF (Ctrl-D) at the prompt.
 .SS COMMENTS
 Anything following a double slash
 .RB ( // )
-up to the end of the line is treated as a comment and ignored.
+up to the end of the line, and all lines starting with a hash mark
+.RB ( # )
+are treated as a comment and ignored.
 .SS NUMBERS
 ginsh accepts numbers in the usual decimal notations. This includes arbitrary
 precision integers and rationals as well as floating point numbers in standard
index d27d0fe..ff585da 100644 (file)
@@ -56,6 +56,7 @@ AN    [0-9a-zA-Z_]
 [ \t\n]+               /* skip whitespace */
 \\$                    /* skip line continuations */
 "//".*                 /* skip comments starting with "//" */
+^"#".*                 /* skip lines starting with "#" */
 ^"!".*                 system(yytext + 1);     /* execute shell command */
 
                        /* special values */