blob: 13dde5666085780d2086e3d6424d8cbd94ab5228 (
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
|
#
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) as lua)
(sh> $cmd) compiles to (\(at ("Text" tree with "\($cmd.source)") sh> $cmd) as lua)
|
