Home / ubuntu / Questions / 382704
Accepted
Paul
Asked: 2013-11-27 15:43:30 +0800 CST

Show full server name in command line

  • 772

I have several servers that have the same prefix in their name: mail.servername. When I have several sessions open (I use PuTTY from Windows 7), it is a minor PITA to figure out which one is which since PuTTY names the windows user@mail and the command line displays user@mail:~$ for all of them.

Is there a way to have the full server name displayed? I don't have the option of changing the servers' names.

12.04

2 Answers

  1. Best Answer

    Think what you are looking for for changing the PuTTY window title is this: PuTTY allows the server to send xterm control sequences which modify the title of the window in mid-session. From the putty manual.

    How to actually do it, point your favorite text editor to ~/.bashrc Locate the lines that say:

    case "$TERM" in
xterm*|rxvt*)
    PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"

    Then change:

    PS1='\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$'

    to:

    PS1='\[\e]0;\u@YOUR MODIFIED TINGY: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$'

    Save and be happy. If you wanna test it before doing the final change, use export PS1='all the stuff'

    • 2

  2. Use this command

    printf "\033]2;%s\a" $(</etc/hostname)

    to have the server name displayed in the Putty window title bar.

    • 1