aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2018-12-18 19:25:10 -0800
committerBruce Hill <bruce@bruce-hill.com>2018-12-18 19:25:10 -0800
commit8e52f1901b73f2072d21f8c79ef52bf137180161 (patch)
tree6592b33786687ffecd45a764178a084d03feaa43 /tools
parent94740a9b414a0fd9af70acb9b8bf3b9576b537e1 (diff)
Renamed autoformat -> format for concision (it's obviously auto, it's a
tool).
Diffstat (limited to 'tools')
-rwxr-xr-xtools/format.nom (renamed from tools/autoformat.nom)4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/autoformat.nom b/tools/format.nom
index d878a02..8355176 100755
--- a/tools/autoformat.nom
+++ b/tools/format.nom
@@ -1,7 +1,7 @@
#!/usr/bin/env nomsu -V5.12.12.8
#
Auto-format Nomsu code. Usage:
- nomsu -t autoformat [-i] file1 file2...
+ nomsu -t format [-i] file1 file2...
If the "-i" flag is used, the file will be edited in-place.
If no files are passed in, this will read from stdin.
@@ -12,7 +12,7 @@ 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 autoformat -"
+ say "Warning: reading from stdin (ctrl-d to abort). To avoid this message, use nomsu -t format -"
$filenames = ["stdin"]
for $filename in $filenames: