diff options
| -rw-r--r-- | profile.dot.link | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/profile.dot.link b/profile.dot.link index 2a8daad..c322d91 100644 --- a/profile.dot.link +++ b/profile.dot.link @@ -98,9 +98,12 @@ if [ -e "$HOME/.custom/profile" ]; then . $HOME/.custom/profile fi -# Command prompt if no system-wide custom prompt is available -if ! type command_prompt &> /dev/null && [ -e "$HOME/apps/scripts/prompt" ]; then - source $HOME/apps/scripts/prompt +# Bash specifics +if [ -n "$BASH_VERSION" ]; then + # Command prompt if no system-wide custom prompt is available + if ! type command_prompt &> /dev/null && [ -e "$HOME/apps/scripts/prompt" ]; then + source $HOME/apps/scripts/prompt + fi fi # Make sure we start at home |