dotfiles

commit d8301d87e19fc95ae039093b25d302861932edc3
parent f1d872169e7f54370dd6269cf316ccb69d4eb2c5
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date:   Thu,  3 Oct 2019 19:09:23 +0200

Abbreviate $HOME and change shell symbol according to user id

Diffstat:
M
.profile
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.profile b/.profile
@@ -8,5 +8,5 @@ export PATH HOME TERM ENV
 
 HOSTNAME=${HOSTNAME:-$(uname -n)}
 HOST=${HOSTNAME%%.*}
-export PS1="\$(id -un)@${HOST} \$PWD \$( if [ \$(id -u) -gt 0 ]; then print \$; else print \#; fi) "
+export PS1="\$(id -un)@${HOST} \$( echo \$PWD | sed 's|$HOME|~|') \$( if [ \$(id -u) -gt 0 ]; then print \$; else print \#; fi) "
 export ENV=$HOME/.kshrc