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