diff options
Diffstat (limited to '.bashrc')
-rw-r--r-- | .bashrc | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -108,6 +108,14 @@ set bell-style none | |||
108 | set completion-ignore-case on | 108 | set completion-ignore-case on |
109 | 109 | ||
110 | MY_SHELL=$(ps -o command -p $$ | awk '/^[^C]/ { print $1 }') | 110 | MY_SHELL=$(ps -o command -p $$ | awk '/^[^C]/ { print $1 }') |
111 | |||
112 | # Prompt 3 runs through a host process that breaks normal shell detection | ||
113 | # but this can be discovered by looking at the PPID. This might be a bug | ||
114 | # in Prompt because it exposes the shell as just "-l". | ||
115 | if [[ "$(ps -c -o command -p $PPID | tail -n1)" =~ "PromptLocalTerminal" ]]; then | ||
116 | MY_SHELL="bash" | ||
117 | fi | ||
118 | |||
111 | if [[ "$MY_SHELL" =~ "bash" ]]; then | 119 | if [[ "$MY_SHELL" =~ "bash" ]]; then |
112 | shopt -s checkwinsize | 120 | shopt -s checkwinsize |
113 | shopt -s cdspell | 121 | shopt -s cdspell |