changeset 0 | 72ffcc3c584e |
child 5 | 1b3263c96cbe |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/cmd.rc Sun Nov 08 21:09:37 2009 +0200 @@ -0,0 +1,11 @@ + +# Shell to use. Commandline to be executed is +# shell -c command +# Can be autodetected from environment variable SHELL. +#set cmd_shell = /bin/dash + +# Redirect stderr to stdout. If not, stderr will be discarded. +set cmd_redirect_stderr = 1 + +load cmd +