diff options
author | David Thompson <dthompson2@worcester.edu> | 2017-08-18 09:52:14 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2017-08-18 09:52:14 -0400 |
commit | ac7c95b4b707afc8707848fee649cb44dfc5394e (patch) | |
tree | 3b103ebb4607a1edc2542643dd9494a058e9febb | |
parent | fa08e72dc2fb490da32dfe0f7f016c937ecc0599 (diff) |
bash: Change guix environment $PS1 setting.
-rw-r--r-- | dotfiles/.bashrc | 2 |
1 files changed, 1 insertions, 1 deletions
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 |