J'ai plusieurs serveurs qui ont le même préfixe dans leur nom: mail.servername
. Lorsque j'ai plusieurs sessions ouvertes (j'utilise PuTTY à partir de Windows 7), c'est un PITA mineur pour déterminer laquelle est celle-ci puisque PuTTY nomme les fenêtres user@mail
et la ligne de commande affiche user@mail:~$
pour tous.
Existe-t-il un moyen d'afficher le nom complet du serveur? Je n'ai pas la possibilité de changer les noms des serveurs.
Pensez à ce que vous recherchez pour changer le titre de la fenêtre PuTTY: PuTTY allows the server to send xterm control sequences which modify the title of the window in mid-session.
Dans le manuel PuTTY .
Comment le faire, pointez votre éditeur de texte préféré sur ~/.bashrc
Repérez les lignes qui disent:
case "$TERM" in
xterm*|rxvt*)
PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
Puis changez:
PS1='\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$'
à:
PS1='\[\e]0;\u@YOUR MODIFIED TINGY: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$'
Économisez et soyez heureux. Si vous souhaitez le tester avant d'effectuer la modification finale, utilisez export PS1='all the stuff'
Utilisez cette commande
printf "\033]2;%s\a" $(</etc/hostname)
pour afficher le nom du serveur dans la barre de titre de la fenêtre PuTTY.