blob: be72c9ffb7c450400dddb5e052e1644e31875f21 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#!/usr/bin/env nomsu -V7.0.0
###
This file defines some actions for running shell commands.
external:
(at $callsite =sh $cmd) means:
$f = ($io.popen $cmd)
$contents = ($f, read "*a")
[$ok, $return_type, $return] = ($f, close)
unless $ok:
if ($return_type == "exit"):
at $callsite fail
"Command failure: Command `\($cmd)` failed with exit code \$return"
..else:
at $callsite fail
"Command failure: Command `\($cmd)` was terminated by signal \$return"
return $contents
(at $callsite sh> $cmd) means:
[$ok, $return_type, $return] = ($os.execute $cmd)
unless $ok:
if ($return_type == "exit"):
at $callsite fail
"Command failure: Command `\($cmd)` failed with exit code \$return"
..else:
at $callsite fail
"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)
|
