Searched refs:shell_name (Results 1 – 2 of 2) sorted by relevance
95 char *shell_name; in segv_handler() local98 shell_name = getenv ("SHELL"); in segv_handler()99 if (shell_name != NULL) in segv_handler()100 shell_name = strrchr (shell_name, '/'); in segv_handler()101 if (shell_name != NULL) in segv_handler()115 if (strcmp (shell_commands[i][0], shell_name + 1) == 0) in segv_handler()
212 const char *shell_name = strrchr(shell_string.c_str(), '/'); in GetResumeCountForLaunchInfo() local213 if (shell_name == NULL) in GetResumeCountForLaunchInfo()214 shell_name = shell_string.c_str(); in GetResumeCountForLaunchInfo()216 shell_name++; in GetResumeCountForLaunchInfo()218 if (strcmp(shell_name, "csh") == 0 || strcmp(shell_name, "tcsh") == 0 || in GetResumeCountForLaunchInfo()219 strcmp(shell_name, "zsh") == 0 || strcmp(shell_name, "sh") == 0) { in GetResumeCountForLaunchInfo()