Как получить текущее имя хоста в качестве названия вашего терминала - PullRequest
0 голосов
/ 07 февраля 2012

Я хочу получить имя хоста удаленной системы, к которой я подключаюсь, в качестве заголовка моего терминала. У меня есть простая настройка в моем bash_profile, который заполняется во всех системах, где я вхожу.

Сейчас я использую этот скрипт

PS1='[\u@\h:\w]\$ '
export TITLEBAR='\[\033]0;\u@\h:\w \007\]'

# Terminal sets TERM_PROGRAM so we can tell it apart from regular VT100
case "$TERM_PROGRAM" in
"Apple_Terminal")PS1="$TITLEBAR$PS1"
esac
case "$TERM" in
"xterm")PS1="$TITLEBAR$PS1"
esac
# end insert

Проблема в том, что когда я выхожу из удаленной системы, я не могу получить свою текущую систему (данные имени хоста) в заголовке терминала.

Ответы [ 2 ]

3 голосов
/ 07 февраля 2012

Я использую это:

export PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME%%.*}:${PWD/$HOME/~}\007"'

добавьте его в $ HOME / .bash_profile как на локальном, так и на удаленном компьютере.

0 голосов
/ 07 февраля 2012

Сделать все это маленькой функцией bash, а затем вызвать эту функцию вручную при выходе из удаленной системы?

...