diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2019-01-15 15:53:31 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2019-01-15 15:54:28 -0800 |
| commit | bf37295faeb9535c56671f4b2050260e1b88cd32 (patch) | |
| tree | d544b68bca8c5bdf0926cc20a12f925c1761cfda /lib/shell | |
| parent | ef70abe4b7ed8d04574ab24ea4fd74fe2a64221f (diff) | |
Updating to v6.15, which includes "external (...)" instead of separate
'externally' versions of stuff, and some auto-formatting.
Diffstat (limited to 'lib/shell')
| -rw-r--r-- | lib/shell/init.nom | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/lib/shell/init.nom b/lib/shell/init.nom index 6a8970e..d58894e 100644 --- a/lib/shell/init.nom +++ b/lib/shell/init.nom @@ -1,12 +1,12 @@ # This file defines some actions for running shell commands. - -externally (=sh $cmd) means: - lua> (" - local result = io.popen(\$cmd) - local contents = result:read("*a") - result:close() - return contents - ") - -external $(sh> $) = $os.execute + +external: + (=sh $cmd) means: + lua> (" + local result = io.popen(\$cmd) + local contents = result:read("*a") + result:close() + return contents + ") + $(sh> $) = $os.execute |
