diff options
Diffstat (limited to 'tools/format.nom')
| -rwxr-xr-x | tools/format.nom | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/format.nom b/tools/format.nom index 7d9d1d4..7d8cca1 100755 --- a/tools/format.nom +++ b/tools/format.nom @@ -12,7 +12,9 @@ use "lib/os.nom" $filenames = $(COMMAND LINE ARGS).extras if ((#$filenames) == 0): - say "Warning: reading from stdin (ctrl-d to abort). To avoid this message, use nomsu -t format -" + say (" + Warning: reading from stdin (ctrl-d to abort). To avoid this message, use nomsu -t format - + ") $filenames = ["stdin"] for $filename in $filenames: @@ -31,7 +33,7 @@ for $filename in $filenames: if ($tree and (not $formatted)): $formatted = - .."\$leading_indent\($tree as nomsu, text, with "\n" -> "\n\$leading_indent")" + "\$leading_indent\($tree as nomsu, text, with "\n" -> "\n\$leading_indent")" if $formatted: if $(COMMAND LINE ARGS)."-i": |