cmd.rc
changeset 0 72ffcc3c584e
child 5 1b3263c96cbe
equal deleted inserted replaced
-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