diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-12-30 23:58:47 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-12-30 23:58:47 -0800 |
| commit | 5059c081ac624ede925d5256885509ddd17181c6 (patch) | |
| tree | 0457d135e5193126bf73466bfaae09df94ab8a7d /tools/format.nom | |
| parent | ec69ee6f62016a2edcc13e3183cbe4cadd75717f (diff) | |
Auto-upgraded code.
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": |