From f4333961d2d0868248c1842b3bcf66ef30c6d1bf Mon Sep 17 00:00:00 2001
From: Andras Boroska <andras.boroska@gmail.com>
Date: Sat, 9 Mar 2013 11:17:17 +0100
Subject: Add possibility to show the name of the release before the prompt

---
 kerl | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/kerl b/kerl
index b4b2876..7af030f 100755
--- a/kerl
+++ b/kerl
@@ -422,6 +422,11 @@ kerl_deactivate()
         export REBAR_PLT_DIR
         unset _KERL_SAVED_REBAR_PLT_DIR
     fi
+    if [ -n "\$_KERL_SAVED_PS1" ]; then
+        PS1="\$_KERL_SAVED_PS1"
+        export PS1
+        unset _KERL_SAVED_PS1
+    fi
     if [ -n "\$BASH" -o -n "\$ZSH_VERSION" ]; then
         hash -r
     fi
@@ -442,6 +447,13 @@ MANPATH="$absdir/man:\$MANPATH"
 export MANPATH
 REBAR_PLT_DIR="$absdir"
 export REBAR_PLT_DIR
+if [ -f "$KERL_CONFIG" ]; then . "$KERL_CONFIG"; fi
+if [ -n "\$KERL_ENABLE_PROMPT" ]; then
+    _KERL_SAVED_PS1="\$PS1"
+    export _KERL_SAVED_PS1
+    PS1="($1)\$PS1"
+    export PS1
+fi
 if [ -n "\$BASH" -o -n "\$ZSH_VERSION" ]; then
     hash -r
 fi
-- 
cgit v1.2.3