diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2016-03-06 02:46:13 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2016-03-06 02:46:13 -0300 |
| commit | 9ced3960b75e919de504ddc99f7abbcb58f3388b (patch) | |
| tree | 15d049a96bc8c9c72d222de22964216f6b02133a | |
| parent | abb97d136a115a9fb87ad4b72e14959187120b65 (diff) | |
| download | profile-9ced3960b75e919de504ddc99f7abbcb58f3388b.tar.gz profile-9ced3960b75e919de504ddc99f7abbcb58f3388b.tar.bz2 | |
Update bash-prompt to shellprompt
| -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 b271b2a..b1c8d96 100644 --- a/profile.dot.link +++ b/profile.dot.link @@ -185,8 +185,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/bash-prompt/prompt" ]; then - . $HOME/apps/bash-prompt/prompt + if ! type command_prompt &> /dev/null && [ -e "$HOME/apps/shellprompt/prompt" ]; then + . $HOME/apps/shellprompt/prompt fi fi |