2019-01-14 15:42:48 -08:00
|
|
|
#
|
|
|
|
This file defines some actions for running shell commands.
|
2019-01-15 15:53:31 -08:00
|
|
|
|
|
|
|
external:
|
|
|
|
(=sh $cmd) means:
|
|
|
|
lua> ("
|
|
|
|
local result = io.popen(\$cmd)
|
|
|
|
local contents = result:read("*a")
|
|
|
|
result:close()
|
|
|
|
return contents
|
|
|
|
")
|
|
|
|
$(sh> $) = $os.execute
|