Trucs:Modifier les noms des onglets de konsole

Léa (Fred)<fred@lea-linux.org>

Problème

Lorsqu'on utilise les onglets de konsole, il peut être utile que le nom de chaque onglet reflète des informations importantes.

Solution

C'est très simple, éditez et ajoutez une ligne du type :

PROMPT_COMMAND='[ -n "$KONSOLE_DCOP_SESSION" ] && dcop --user $USER $KONSOLE_DCOP_SESSION renameSession "${USERNAME:=$USER}@`hostname -s`"'

Explication : on utilise les facilités de pour "parler" avec la konsole active. Il faut savoir que la session active de konsole est renvoyée par la variables d'environnement : $KONSOLE_DCOP_SESSION et que bash excute préalablement à tout affichage du prompt la commande contenue dans $PROMPT_COMMAND.

PS: Dans beaucoup de distributions, la variable $PROMPT_COMMAND est déjà affecté avec une commande permettant de modifier le titre du terminal, rien n'empêche de combiner les deux commandes avec l'opérateur : " ; ", comme par exemple :

PROMPT_COMMAND='[ -n "$KONSOLE_DCOP_SESSION" ] && dcop --user $USER $KONSOLE_DCOP_SESSION renameSession "${USERNAME:=$USER}@`hostname -s`"; echo -ne "\033]0;${USERNAME}@${HOSTNAME}: ${PWD}\007"'

Récupérée de « http://www.lea-linux.org/documentations/index.php/Trucs:Modifier_les_noms_des_onglets_de_konsole »