diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2014-10-02 13:50:26 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2014-10-02 13:50:26 -0300 |
commit | 6448078da87322070b9359c6f881c937c28ab004 (patch) | |
tree | bc8269f9a7b670b2a8dc75b9cb788b0a464877b8 | |
parent | 1024ebef693820415abe4697aec080c70c97f1ee (diff) | |
download | profile-6448078da87322070b9359c6f881c937c28ab004.tar.gz profile-6448078da87322070b9359c6f881c937c28ab004.tar.bz2 |
Updating bash-prompt location
-rw-r--r-- | profile.dot.link | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/profile.dot.link b/profile.dot.link index c322d91..ac57033 100644 --- a/profile.dot.link +++ b/profile.dot.link @@ -101,8 +101,8 @@ fi # 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 + if ! type command_prompt &> /dev/null && [ -e "$HOME/apps/bash-prompt/prompt" ]; then + source $HOME/apps/bash-prompt/prompt fi fi |