Vous n'avez jamais trouvé ennuyeux que Konsole, qui offre la possibilité de travailler dans des onglets, nomme par défaut ses onglets comme un vulgaire compteur ? Si oui, essayez ceci :
Attention toutefois, cette astuce utilise la variable PROMPT_COMMAND de bash pour mettre à jour le nom de l'onglet à chaque commande entrée. Si cette variable est déjà utilisée pour une autre fonctionnalité dans votre configuration bash, il vous faudra modifier le script sous peine de conflit.
Ouvrez votre ~/.bashrc et ajoutez-y les lignes suivantes :
# If this is an xterm set the title to user@host:dir
# If we're in a konsole, set tab title to user:dir using DCOP
case "$TERM" in
xterm*|rxvt*)
if [ $KONSOLE_DCOP_SESSION ]; then
PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007" && dcop $KONSOLE_DCOP_SESSION renameSession "${USER}:${PWD/$HOME/~}"'
else
PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007"'
fi
;;
*)
;;
esac
L'effet obtenu sera de nommer l'onglet konsole courant user:dir (mis à jour automatiquement) pour tous les onglets nouvellement créés.
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.