diff options
Diffstat (limited to 'lib/shell')
| -rw-r--r-- | lib/shell/init.nom | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/shell/init.nom b/lib/shell/init.nom index be72c9f..c120807 100644 --- a/lib/shell/init.nom +++ b/lib/shell/init.nom @@ -1,5 +1,4 @@ #!/usr/bin/env nomsu -V7.0.0 - ### This file defines some actions for running shell commands. @@ -28,5 +27,5 @@ external: "Command failure: Command `\($cmd)` was terminated by signal \$return" ### Attach callsite information for better error reporting - (=sh $cmd) compiles to `(at `("Text" tree with "\($cmd.source)") =sh `$cmd) - (sh> $cmd) compiles to `(at `("Text" tree with "\($cmd.source)") sh> `$cmd) + (=sh $cmd) compiles to \(at \("Text" tree with "\($cmd.source)") =sh \$cmd) + (sh> $cmd) compiles to \(at \("Text" tree with "\($cmd.source)") sh> \$cmd)
\ No newline at end of file |