Searched refs:shell_name (Results 1 – 1 of 1) sorted by relevance
165 const char *shell_name = strrchr(shell_string.c_str(), '/'); in GetResumeCountForLaunchInfo() local166 if (shell_name == nullptr) in GetResumeCountForLaunchInfo()167 shell_name = shell_string.c_str(); in GetResumeCountForLaunchInfo()169 shell_name++; in GetResumeCountForLaunchInfo()171 if (strcmp(shell_name, "csh") == 0 || strcmp(shell_name, "tcsh") == 0 || in GetResumeCountForLaunchInfo()172 strcmp(shell_name, "zsh") == 0 || strcmp(shell_name, "sh") == 0) { in GetResumeCountForLaunchInfo()