zsh/rc/titles.rc

14 lines
212 B
Plaintext
Raw Normal View History

2018-03-16 12:02:58 +01:00
if [ $TERM = "screen" ]; then
setopt extended_glob
preexec () {
local CMD=${1[(wr)^(*=*|sudo|-*)]}
# if [[ $CMD -eq "man" ]]; then
# CMD+=" ${2[(wr)^(*=*|sudo|-*)]}"
# fi
echo -n "\ek$CMD\e\\"
}
fi