Bagaimana cara mengganti nama judul tab terminal di gnome-terminal?

70

Dulu bisa klik kanan pada tab dan mengubah judul. Tidak yakin bagaimana melakukan ini lagi. Baru saja ditingkatkan ke Fedora 21.

EDIT: Saya telah beralih dari terminal gnome ke ROXterm

gnome-terminal

— penner
sumber

108

Buat fungsi di ~/.bashrc:

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

Kemudian gunakan perintah baru Anda untuk mengatur judul terminal. Ini bekerja dengan spasi di namanya juga

set-title my new tab title

Dimungkinkan untuk selanjutnya menggunakan set-titlelagi (PS1 asli dipertahankan sebagai ORIG).

— Weston Ganger
sumber

32

The user titlekode telah dihapus ¹ dari gnome-terminal 3.14. Untuk mengatur judul, Anda dapat menggunakan urutan pelarian:

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

atau misalnya dengan bash:

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

^{1: lihat bug gnome 724110 dan bug gnome 740188 .}

— don_crissti
sumber

9

Terima kasih atas tautan ke diskusi. Saya kira jawabannya adalah TIDAK. Kutipan lucu dari salah satu tautan: "pengguna modern tidak menggunakan terminal". LOL.

— Penner

Ini tidak berfungsi untuk saya: Fedora 21, Bash 3.14.3.

— kdbanman

Ia bekerja di fc22 juga ..

— Balaji Perumal

3

Rupanya, itu kembali ... "Ya maaf, opsi --title dipulihkan di GNOME 3.20 (rilis Maret 2016), yang kami rilis setengah tahun yang lalu, tetapi Ubuntu 16.04 dikirimkan dengan GNOME 3.18 (rilis September 2015), yang telah menghapus opsi ini. " Michael Catanzaro 2016-09-01 18:41:45 UTC komentar # 31 (dari bug kedua, 740188)

— bijak

1

@sage - tidak ada fitur, komentar Michael ada tentang --titleopsi yang dapat saya konfirmasi yang memang dipulihkan. Namun, Q di sini adalah tentang opsi klik kanan untuk mengganti nama tab yang saat ini terbuka - masalah yang berbeda ...

— don_crissti

18

Versi baru terminal gnome baru saja membuang fitur profesional yang paling membantu. :-(

Saya telah mencoba men-setup dan menjalankan versi gnome-terminal yang lebih lama dan juga membandingkan alternatif.

Jika terminatorterlalu eksotis untuk Anda, itu mate-terminaladalah pilihan bagus! Ini adalah garpu dari terminal gnome dan hanya menyimpan semua fitur bagus:

Anda dapat membuka banyak tab dari baris perintah dan memberi mereka judul yang berbeda
```
mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
```
Anda dapat mengatur pintasan keyboard (saya menggunakan Ctrl + Shift- i ) untuk mengatur di i tle

— geekQ
sumber

Guake juga bukan varian yang buruk

— Bunyk

1

Saat Anda menjalankan program tetap seperti top atau ssh, tab tersebut diberi label dengan benar.

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

— fastrizwaan
sumber

1

Jika Anda menggunakan Ubuntu 16.04 Anda mungkin perlu:

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

Saya mencantumkan informasi ini lebih lanjut di tautan .

— Zach Pfeffer
sumber

0

letakkan ini di .bashrc:

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

— Menandai
sumber

0

Sebagai perluasan ke jawaban @Weston Ganger, jika Anda ingin secara otomatis menetapkan judul saat membuka terminal Gnome baru, kemudian tambahkan ini ke bagian bawah dari Anda ~/.bashrc:

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

Kemudian luncurkan terminal seperti:

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

dan secara otomatis akan berjalan set-titleuntuk menerapkan judul.

— Cerin
sumber

0

solusi satu baris, tambahkan baris berikut di .bashrc Anda

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

sekarang ketik tab_name di terminal yaitu

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

Selesai

— Sufyan
sumber