- '#' 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 ( // )
 .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
 .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 "//" */
 [ \t\n]+               /* skip whitespace */
 \\$                    /* skip line continuations */
 "//".*                 /* skip comments starting with "//" */
+^"#".*                 /* skip lines starting with "#" */
 ^"!".*                 system(yytext + 1);     /* execute shell command */
 
                        /* special values */
 ^"!".*                 system(yytext + 1);     /* execute shell command */
 
                        /* special values */