Jak zmienić nazwę tytułu karty terminalu w gnome-terminal?

70

Używane, aby móc kliknąć kartę prawym przyciskiem myszy i zmienić tytuł. Nie jestem pewien, jak to zrobić. Właśnie zaktualizowano do Fedory 21.

EDYCJA: Zmieniłem terminal gnome na ROXterm

gnome-terminal penner
źródło

108

Utwórz funkcję w ~/.bashrc:

function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

Następnie użyj nowego polecenia, aby ustawić tytuł terminala. Działa również ze spacjami w nazwie

set-title my new tab title

Można później użyć set-titleponownie (oryginalny PS1 jest zachowany jako ORIG).

Weston Ganger
źródło

32

user titleKod został usunięty ¹ od gnome-terminal 3.14. Aby ustawić tytuł, możesz użyć sekwencji ucieczki:

printf "\e]2;YOUR TITLE GOES HERE\a"

lub np. z bash:

PROMPT_COMMAND='echo -ne "\033]0;YOUR TITLE GOES HERE\007"'

^{1: patrz błąd gnome 724110 i błąd gnome 740188 .}

don_crissti
źródło

9

Dziękuję za link do dyskusji. Myślę, że odpowiedź brzmiała NIE. Zabawny cytat z jednego z linków: „współcześni użytkownicy nie używają terminali”. LOL.

penner

To nie działa dla mnie: Fedora 21, Bash 3.14.3.

kdbanman

Działa również na fc22 ..

Balaji Perumal

3

Najwyraźniej wraca ... ”Tak, przepraszam, opcja --title została przywrócona w GNOME 3.20 (wydanie z marca 2016 r.), Które wydaliśmy pół roku temu, ale Ubuntu 16.04 zostało dostarczone z GNOME 3.18 (wydanie z września 2015 r.), Które usunąłem tę opcję ”. Komentarz Michaela Catanzaro 01.09.2016, 18:41:45 UTC nr 31 (od drugiego błędu, 740188)

mędrzec

1

@sage - nie ma funkcji, komentarz Michaela dotyczy --titleopcji, którą mogę potwierdzić, że rzeczywiście została przywrócona. Jednak tutaj Q dotyczy opcji kliknięcia prawym przyciskiem myszy, aby zmienić nazwę aktualnie otwartej karty - inny problem ...

don_crissti 13.01.17

18

Nowe wersje terminala gnome właśnie wyrzuciły najbardziej pomocne profesjonalne funkcje. :-(

Próbowałem skonfigurować i uruchomić starszą wersję terminalu gnome, a także porównałem alternatywy.

Jeśli terminatorjest dla ciebie zbyt egzotyczny, mate-terminaljest to świetna opcja! Jest to rozwidlenie terminala gnome i po prostu zachowuje wszystkie dobre cechy:

możesz otworzyć wiele kart z linii poleceń, nadając im różne tytuły
```
mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
```
możesz ustawić skrót klawiaturowy (używam Ctrl + Shift- i ), aby ustawić na i tle

geekQ
źródło

Guake też nie jest złym wariantem

Bunyk

1

Po uruchomieniu programu rezydentnego, takiego jak top lub ssh, karta jest odpowiednio oznaczona.

gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb"

fastrizwaan
źródło

1

Jeśli używasz Ubuntu 16.04, może być konieczne:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

Wymieniam to więcej informacji na ten temat pod linkiem .

Zach Pfeffer
źródło

0

wstaw to do .bashrc:

function title() { 
  p1='echo -ne "\033]0;' 
  p2='\007"'
  PROMPT_COMMAND=$p1$@$p2 
  p1= 
  p2=
}

znak
źródło

0

Jako rozwinięcie odpowiedzi @Weston Ganger, jeśli chcesz automatycznie ustawić tytuł po otwarciu nowego terminala Gnome, dodaj go na dole ~/.bashrc:

if [ ! -z "$SET_TITLE" ]; then
    set-title $SET_TITLE;
    export SET_TITLE=;
fi

Następnie uruchom terminal, taki jak:

gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'

i uruchomi się automatycznie, set-titleaby zastosować tytuł.

Cerin
źródło

0

rozwiązanie jednoliniowe, dodaj następującą linię w swoim .bashrc

alias tab_name='read -p "Name to Assign:" tabname ;  printf "\e]2;$tabname\a" '

teraz wpisz tab_name w terminalu tj

user:~$ tab_name  
Name to Assign: ( type desired name here! )

Gotowy

Sufijan
źródło

Jak zmienić nazwę tytułu karty terminalu w gnome-terminal?

Odpowiedzi: