bad/devos
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Wiki Activity

purs: show user when root

Browse source
This commit is contained in:
Timothy DeHerrera 2020-07-20 18:45:25 -06:00
parent 364a25a7f2
commit cd44832dc1
No known key found for this signature in database
GPG key ID: 8985725DB5B0C122
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/shells/zsh/purs/init.sh
View file

@ -1,5 +1,9 @@
function zle-line-init zle-keymap-select { function zle-line-init zle-keymap-select {
if [[ $USER == root ]]; then
PROMPT=`@PURS@/bin/purs prompt -u -k "$KEYMAP" -r "$?" --venv "${${VIRTUAL_ENV:t}%-*}"`
else
PROMPT=`@PURS@/bin/purs prompt -us -k "$KEYMAP" -r "$?" --venv "${${VIRTUAL_ENV:t}%-*}"` PROMPT=`@PURS@/bin/purs prompt -us -k "$KEYMAP" -r "$?" --venv "${${VIRTUAL_ENV:t}%-*}"`
fi
zle reset-prompt zle reset-prompt
} }
zle -N zle-line-init zle -N zle-line-init