Searched refs:default_shell (Results 1 – 1 of 1) sorted by relevance
2390 static char *default_shell = "/bin/sh"; in execute_shell() local2398 shell_name = default_shell; in execute_shell()