PingouinMigrateur : conversion de la documentation originale de Léa par HTML::WikiConverter

2005-10-05T15:44:41Z

conversion de la documentation originale de Léa par HTML::WikiConverter

Nouvelle page

<div class="leapar">Léa (Fred)<fred@lea-linux.org></div>

=== 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 <code>/etc/bashrc</code> et ajoutez une ligne du type :

<div class="code">PROMPT_COMMAND='[ -n "$KONSOLE_DCOP_SESSION" ] && dcop --user $USER $KONSOLE_DCOP_SESSION renameSession "${USERNAME:=$USER}@`hostname -s`"'</div>

Explication : on utilise les facilités de <code>DCOP</code> 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 :

<div class="code">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"'</div>
[[Catégorie:Trucs_Shell]]

Trucs:Modifier les noms des onglets de konsole - Historique des versions

PingouinMigrateur : conversion de la documentation originale de Léa par HTML::WikiConverter

PingouinMigrateur : conversion de la documentation originale de Léa par HTML::WikiConverter