changeset 0 | 72ffcc3c584e |
child 5 | 1b3263c96cbe |
-1:000000000000 | 0:72ffcc3c584e |
---|---|
1 |
|
2 # Shell to use. Commandline to be executed is |
|
3 # shell -c command |
|
4 # Can be autodetected from environment variable SHELL. |
|
5 #set cmd_shell = /bin/dash |
|
6 |
|
7 # Redirect stderr to stdout. If not, stderr will be discarded. |
|
8 set cmd_redirect_stderr = 1 |
|
9 |
|
10 load cmd |
|
11 |