configurationengine/linux.properties
changeset 3 e7e0ae78773e
parent 0 2e8eeb919028
equal deleted inserted replaced
2:87cfa131b535 3:e7e0ae78773e
       
     1 os.linux.name = Linux
     1 os.linux.userbin = /home/hudson/bin
     2 os.linux.userbin = /home/hudson/bin
       
     3 os.linux.cmdname = sh
       
     4 os.linux.cmdswitch = -c