Ubuntu 15,04 pemasangan baru: Tidak dapat mengganti nama tab gnome-terminal

Di Ubuntu 14.10, jika saya memiliki beberapa Tab Terminal yang terbuka, saya dapat mengklik kanan tab Terminal dan menamainya kembali. Di Ubuntu 15.04 saya tidak dapat menemukan fitur ini.

Apakah ada cara mudah untuk mendapatkannya kembali?

Ini adalah versi saat ini:

$ gnome-terminal --version
GNOME Terminal 3.14.2

Dijawab di sini

Saya mengutip:

The user titlekode telah dihapus ¹ dari gnome-terminal 3.14. Hanya ada satu cara untuk mengatur judul, menggunakan urutan pelarian - misalnya dengan bash:

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

---

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

The .bashrcsolusi yang diusulkan oleh Kirby bekerja untuk saya:

set-title(){
  ORIG=$PS1
  TITLE="\e]2;$@\a"
  PS1=${ORIG}${TITLE}
}

lalu dari prompt saya: $ set-title test-title

Saya tidak percaya mereka menghapus fitur ramah pengguna seperti ini.

Saya beralih ke ROXTerm ( http://roxterm.sourceforge.net ), yang melakukan pekerjaan dengan baik. Dikemas dalam Ubuntu:

sudo apt-get install roxterm

Lalu, biarkan dinosaurus melanjutkan caranya sendiri ;-)

Saya sudah mencoba RoxTerm seperti yang disarankan di atas, dengan hasil yang baik. Tapi saya menetap di Terminal MATE, yang merupakan bagian dari Proyek MATE, kelanjutan dari Gnome 2, pada 15,04:

sudo apt-get install mate-terminal

Terminal itu didasarkan pada kode Terminal Gnome.

Komentar: Sulit untuk memahami pola pikir para pengembang Terminal Gnome. Ada banyak diskusi di sana tentang "bagaimana" memberi nama tab terminal, dan bagaimana sulit untuk memperbaikinya. Jika itu masalahnya, mengapa mempersulit pengguna untuk memberi nama mereka? Tidak terlalu pintar sama sekali.

Sekarang saya sudah menyelidiki ini untuk bagian yang lebih baik dari sehari dan akhirnya menemukan cara untuk menetapkan judul ini. Ini dilakukan melalui escape sequence yang dimulai dengan \ e] 0; dan akhiri dengan karakter BEL (= \ 007 = \ a). Tidak seperti yang saya nyatakan di atas, komunikasi dari shell kembali ke aplikasi terminal adalah mungkin, sangat terbatas, melalui urutan pelarian seperti itu (ada beberapa lagi).

Tentang ini dari atas:

PROMPT_COMMAND='echo -ne "\e]0;YOUR TITLE GOES HERE\a"'

Itu bisa bekerja, tetapi itu tidak selalu. PROMPT_COMMANDadalah variabel yang isinya dieksekusi setiap kali Anda mengirim perintah, sehingga juga mengirimkan urutan pelarian ini. Namun, ini bisa ditimpa oleh urutan melarikan diri dalam variabel PS1, yang menetapkan prompt baris perintah. Inilah sebabnya mengapa di atas tidak berpengaruh di sini.

Dari instalasi Ubuntu yang lebih lama saya mengambil ini, yang mengatur command prompt (bagian kanan, setelah ]) dan juga mengirimkan urutan escape yang diperlukan (bagian kiri, hingga dan termasuk yang ]):

PS1="\[\e]0;\u@\h: \w\a\]\u@\h:\w\$ "

Ini mungkin berkinerja lebih baik, karena tidak perlu menafsirkan $PROMPT_COMMANDsetiap kali. Ini juga memiliki lebih banyak opsi, karena Bash memiliki lebih banyak urutan pelarian di sini, misalnya\u untuk nama pengguna saat ini, \Wuntuk nama direktori saat ini atau \wuntuk seluruh jalur direktori kerja saat ini, secara opsional dipangkas menjadi hanya beberapa yang terakhir dengan nomor dalam $PROMPT_DIRTRIM. Lihat bab PROMPTINGdi halaman manual Bash. Juga perhatikan bahwa urutan pelarian juga harus dikelilingi oleh \[dan di \]sini.

Untuk menetapkan judul tetap, ini berfungsi:

PS1="\[\e]0;YOUR TITLE GOES HERE\a\]\u@\h:\w\$ "

Nikmati!

Selama penyelidikan saya, saya juga mencoba memahami kode sumber terminal gnome, yang mengarah ke kode sumber vte dan di sana dukungan untuk pengaturan judul dan membaca urutan pelarian dianggap sebagai risiko keamanan: Lihat di sini (kasus 20, kasus 21) dan di sini ("Pelaporan Judul Jendela").

Mengatur $ PROMPT_COMMAND seperti yang ditunjukkan di atas tidak memiliki efek di sini. Tidak mengherankan, karena Bash berjalan di dalam terminal dan proses induk (di sini: gnome-terminal) tidak dapat membaca lingkungan anak di OS mirip unix. Menggunakan sesuatu yang lebih sederhana, seperti

PROMPT_COMMAND='echo bla'

Laksanakan echo bla , tidak ada yang terjadi.

Sunting: kita harus membungkus ini dalam urutan melarikan diri, lihat jawaban saya yang lain. Meskipun membaca lingkungan anak tidak mungkin, beberapa komunikasi kembali ke orang tua adalah, melalui urutan ini.

Dalam Gnome bug 740188 mereka berbicara tentang mendefinisikan fungsi title () di .bashrc. Yang berbeda untuk setiap tab dibuka? Peretasan yang buruk di depan, jika mungkin sama sekali!

Bahkan penjelasan lain tentang Stackexchange berbicara tentang pengaturan $ PS1 (dan dapatkan upvoted). Maaf, tidak, itu bukan judulnya, itu command prompt.

Singkatnya: mereka mengacaukannya tanpa bisa diperbaiki untuk menghemat sedikit ruang dalam dialog preferensi. Oh Tuhan

Sekarang, satu-satunya kesempatan untuk mendapatkan keputusan pengembang yang dikembalikan adalah menyalakan shitstorm parah, kalau tidak mereka hanya menutup laporan bug Anda dalam hitungan detik (mencoba berkali-kali berkali-kali). Bagaimana kita membuat shitstorm ini?