Показать полное имя сервера в командной строке

У меня есть несколько серверов с одинаковым префиксом в названии: mail.servername, Когда у меня открыто несколько сессий (я использую PuTTY из Windows 7), это небольшая PITA, чтобы выяснить, какая из них какая, поскольку PuTTY называет окна user@mail и командная строка отображает user@mail:~$ для всех них.

Можно ли отобразить полное имя сервера? У меня нет возможности изменить имена серверов.

2 ответа

Решение

Подумайте, что вы ищете для изменения заголовка окна PuTTY: PuTTY allows the server to send xterm control sequences which modify the title of the window in mid-session. Из руководства по замазке.

Как на самом деле сделать это, укажите ваш любимый текстовый редактор на ~/.bashrcНайдите строки, которые говорят:

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

Затем измените:

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\$'

Сохранить и быть счастливым. Если вы хотите проверить это перед внесением окончательного изменения, используйте export PS1='all the stuff'

Используйте эту команду

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

чтобы имя сервера отображалось в строке заголовка окна Putty.

Другие вопросы по тегам