diff options
Diffstat (limited to 'lib/shell')
| -rw-r--r-- | lib/shell/CHANGES.md | 5 | ||||
| -rw-r--r-- | lib/shell/README.md | 2 | ||||
| -rw-r--r-- | lib/shell/shell.tm | 2 |
3 files changed, 7 insertions, 2 deletions
diff --git a/lib/shell/CHANGES.md b/lib/shell/CHANGES.md new file mode 100644 index 00000000..42ae752c --- /dev/null +++ b/lib/shell/CHANGES.md @@ -0,0 +1,5 @@ +# Version History + +## v1.0 + +Initial version diff --git a/lib/shell/README.md b/lib/shell/README.md index 4adb8cff..d4bcd42e 100644 --- a/lib/shell/README.md +++ b/lib/shell/README.md @@ -3,7 +3,7 @@ This module defines a `lang` for running shell scripts: ```tomo -use shell +use shell_v1.0 >> $Shell" seq 5 diff --git a/lib/shell/shell.tm b/lib/shell/shell.tm index da03f843..f9476161 100644 --- a/lib/shell/shell.tm +++ b/lib/shell/shell.tm @@ -1,4 +1,4 @@ -use commands +use commands_v1.0 lang Shell convert(text:Text -> Shell) |