Exactement. Je viens de voir ça dans mon .bashrc :
# If this is an xterm set the title to user@host:dir
case "$TERM" in
xterm*|rxvt*)
PROMPT_COMMAND='echo -ne "033円]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}007円"'
;;
*)
;;
esac
Qui rejoint l'astuce que tu me conseilles.
Et comme je ne connaissais pas PROMPT_COMMAND j'ai cherché un peu, car ce bout de script explique le comportement normal de konsole qui ne me satisfait pas pleinement ( le user@host: cwd de la barre de titre, mais qui a l'intéressante faculté d'être toujours exact même quand je change de répertoire via un cd ).
J'en déduis donc que ton astuce permet de modifier le titre de la fenêtre de konsole, ce qui n'est pas ce que je souhaite (je veux agir sur le nom de l'onglet). Mais ça m'aide quand même !
Pour référence, si d'autres curieux/bricoleurs passent par ici, j'aurai eu la puce à l'oreille sans poser de question si j'avais connu cette variable du shell ( voir le lien ci-dessus ) et surtout si j'avais connu la commande declare qui appelée de cette manière liste toutes les variables du shell courant, y compris PROMPT_COMMAND :-)
[^] # Re: Ou la la
Posté par Cali_Mero . En réponse au message KDE / Konsole : Changer le nom d'une session depuis la console. Évalué à 2.
Qui rejoint l'astuce que tu me conseilles.
Et comme je ne connaissais pas PROMPT_COMMAND j'ai cherché un peu, car ce bout de script explique le comportement normal de konsole qui ne me satisfait pas pleinement ( le user@host: cwd de la barre de titre, mais qui a l'intéressante faculté d'être toujours exact même quand je change de répertoire via un cd ).
J'en déduis donc que ton astuce permet de modifier le titre de la fenêtre de konsole, ce qui n'est pas ce que je souhaite (je veux agir sur le nom de l'onglet). Mais ça m'aide quand même !
http://www.tldp.org/HOWTO/Bash-Prompt-HOWTO/x264.html : PROMPT_COMMAND est une commande lancée par bash avant chaque affichage d'une invite de commande, d'où la mise à jour constante de l'information.
Pour référence, si d'autres curieux/bricoleurs passent par ici, j'aurai eu la puce à l'oreille sans poser de question si j'avais connu cette variable du shell ( voir le lien ci-dessus ) et surtout si j'avais connu la commande declare qui appelée de cette manière liste toutes les variables du shell courant, y compris PROMPT_COMMAND :-)
Merci pour ton aide !