From 9ced3960b75e919de504ddc99f7abbcb58f3388b Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Sun, 6 Mar 2016 02:46:13 -0300
Subject: Update bash-prompt to shellprompt

---
 profile.dot.link | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'profile.dot.link')

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
 
-- 
cgit v1.2.3