feat(zsh): set window title to current directory name

main
mandlm 2022-09-01 08:05:04 +02:00
parent 6bf4bbfc36
commit 34c54c5bf4
Signed by: mandlm
GPG Key ID: 4AA25D647AA54CC7
1 changed files with 8 additions and 0 deletions

View File

@ -9,6 +9,14 @@ in
enableCompletion = true; enableCompletion = true;
history.size = 10000; history.size = 10000;
initExtra = ''
function set_win_title(){
echo -ne "\033]0; $(basename "$PWD") \007"
}
precmd_functions+=(set_win_title)
'';
sessionVariables = { sessionVariables = {
ZSH_AUTOSUGGEST_HIGHLIGHT_STYLE = zsh_autosuggest_highlight_style; ZSH_AUTOSUGGEST_HIGHLIGHT_STYLE = zsh_autosuggest_highlight_style;
}; };