Risposte:
Fai cambiare shell al titolo della finestra ogni volta che cambia directory o ogni volta che visualizza un prompt.
Per il tuo ~/.bashrc
:
if [[ "$TERM" == screen* ]]; then
screen_set_window_title () {
local HPWD="$PWD"
case $HPWD in
$HOME) HPWD="~";;
$HOME/*) HPWD="~${HPWD#$HOME}";;
esac
printf '\ek%s\e\\' "$HPWD"
}
PROMPT_COMMAND="screen_set_window_title; $PROMPT_COMMAND"
fi
O per il tuo ~/.zshrc
(per utenti zsh):
precmd () {
local tmp='%~'
local HPWD=${(%)tmp}
if [[ $TERM == screen* ]]; then
printf '\ek%s\e\\' $HPWD
fi
}
Per ulteriori informazioni, cercare in Titoli dinamici nel manuale Schermo o in "Titoli (denominazione delle finestre)" nella pagina man.
;' bash: PROMPT_COMMAND: line 0:
; screen_set_window_title '
PROMPT_COMMAND
se c'era già qualcosa, ma avevo i componenti nell'ordine sbagliato.