Показать полное имя сервера в командной строке
У меня есть несколько серверов с одинаковым префиксом в названии: 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.