bash PS1 tytuł w gnome-terminal. Jak to działa, że działa?
: 11 czerwca 2018, 01:34
Poszukując sposobu oznaczenia terminali których zaczyna mi przybywać napatoczyłem się na stackoverflow na następujący skrypt:
Przerobiłem go dodając hostname i oba wstawiłem do .bashrc na serwerze jak i lokalnie:
Działa pięknie, ale chciałbym zrozumieć jak działa.
Znalazłem opis wszystkich modyfikatorów, ale nie bardzo rozumiem ich działanie. Prosiłbym jakoś tak łopatologicznie.
W końcu chociażby jak się ma promp ( PS1 ) do tytułu taba.
Kod: Zaznacz cały
function set-title() {
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$*\a\]"
PS1=${ORIG}${TITLE}
}Kod: Zaznacz cały
TITLE="\[\e]2;$(hostname): $*\a\]"Znalazłem opis wszystkich modyfikatorów, ale nie bardzo rozumiem ich działanie. Prosiłbym jakoś tak łopatologicznie.
W końcu chociażby jak się ma promp ( PS1 ) do tytułu taba.
- \a : an ASCII bell character (07)
- \r : carriage return
- \[ : begin a sequence of non-printing characters, which could be used to embed a terminal control sequence into the prompt
- \] : end a sequence of non-printing characters