diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2019-03-20 16:41:44 -0700 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2019-03-20 16:41:44 -0700 |
| commit | 56e3a0c48ca2b641f77f7e73cce94dc3b133e142 (patch) | |
| tree | 8efd996580e3bcd7845b39a0f7efe7bc0818a793 /lib/shell | |
| parent | b44afbf417d602b7f018cd4d24ff07c2bc6d8b6e (diff) | |
Restoring `(foo) syntax to \(foo)
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 |