- '#' 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 b84aca96700fe43c909330dc19a83aad187193ce..199b0e853f8617db59a54bb0213b4534a82d7786 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 d27d0fe275b8917ca06b32153e9e901716e6dd0b..ff585dab55a435f5305fc81e99f4603fa70a8d05 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 */