Fix shell title

This commit is contained in:
Geoffrey Frogeye 2023-12-16 17:29:34 +01:00
parent 417ef5a746
commit 926e620b5e
Signed by: geoffrey
GPG key ID: C72403E7F82E6AD8

View file

@ -196,7 +196,10 @@ in
duration = "$( test -n \"$__TIMER\" && echo $(( $EPOCHREALTIME - $\{__TIMER:-EPOCHREALTIME})) || echo 0 )"; duration = "$( test -n \"$__TIMER\" && echo $(( $EPOCHREALTIME - $\{__TIMER:-EPOCHREALTIME})) || echo 0 )";
# UPST Implement this properly in home-manager, would allow for bash support # UPST Implement this properly in home-manager, would allow for bash support
}; };
extraUpdatePS1 = ''unset __TIMER''; extraUpdatePS1 = ''
unset __TIMER
echo -en "\033]0; $USER@$HOST $PWD\007"
'';
}; };
gpg = { gpg = {
enable = true; enable = true;