diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2014-03-31 11:19:30 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2014-03-31 11:19:30 -0300 |
commit | 2f8a5119d0b0e6a17a3e104e49979321f5f88f0a (patch) | |
tree | aef2ad14ac0bef02dc378c136d57a285038f41b5 /profile.dot.link | |
parent | 2901634249524dae6d7138467c25c7eb99cf2073 (diff) | |
download | profile-2f8a5119d0b0e6a17a3e104e49979321f5f88f0a.tar.gz profile-2f8a5119d0b0e6a17a3e104e49979321f5f88f0a.tar.bz2 |
Custom bash prompt
Diffstat (limited to 'profile.dot.link')
-rw-r--r-- | profile.dot.link | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profile.dot.link b/profile.dot.link index 7f20a23..5221411 100644 --- a/profile.dot.link +++ b/profile.dot.link @@ -89,5 +89,10 @@ 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 +fi + # Make sure we start at home cd |