From ac7c95b4b707afc8707848fee649cb44dfc5394e Mon Sep 17 00:00:00 2001
From: David Thompson <dthompson2@worcester.edu>
Date: Fri, 18 Aug 2017 09:52:14 -0400
Subject: bash: Change guix environment $PS1 setting.

---
 dotfiles/.bashrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dotfiles/.bashrc b/dotfiles/.bashrc
index 73e4ee3..2412bed 100644
--- a/dotfiles/.bashrc
+++ b/dotfiles/.bashrc
@@ -36,7 +36,7 @@ shopt -s globstar
 # Add special decoration when we are in a Guix environment sub-shell.
 if [ -n "$GUIX_ENVIRONMENT" ]
 then
-    export PS1="[dev $SHLVL] \u@\h \w\$ "
+    export PS1="\u@\h \w [env]\$ "
 else
     export PS1='\u@\h \w\$ '
 fi
-- 
cgit v1.2.3