| 308 | } |
| 309 | |
| 310 | const char* shell_name(ShellKind k) { |
| 311 | switch (k) { |
| 312 | case ShellKind::Bash: return "bash"; |
| 313 | case ShellKind::Zsh: return "zsh"; |
| 314 | case ShellKind::Fish: return "fish"; |
| 315 | case ShellKind::Tcsh: return "tcsh"; |
| 316 | case ShellKind::Ksh: return "ksh"; |
| 317 | case ShellKind::PowerShell: return "powershell"; |
| 318 | case ShellKind::Posix: return "sh"; |
| 319 | default: return "shell"; |
| 320 | } |
| 321 | } |
| 322 | |
| 323 | bool history_filename(const std::string& path) { |
| 324 | return shell_kind_from_filename(path) != ShellKind::Unknown; |
no outgoing calls
no test coverage detected