Gnome: Ubah judul terminal saat ini dari baris perintah bash

9

Saya tahu ada opsi untuk memulai terminal baru dengan judul yang ditentukan, dan itu adalah mungkin untuk mengubah judul dari terminal menggunakan menu: 'Terminal' -> Set Title.

Namun, saya ingin mengubahnya untuk terminal saat ini dari baris perintah. Bagaimana saya bisa mengubah judul untuk terminal Gnome yang ada dari baris perintah?

Sander
sumber

Jawaban:

13

Keluarkan urutan pelarian xterm yang cocok.

echo -ne '\033]0;New title\007'

Lihat juga Cara mengubah judul xterm .

tripleee
sumber
Sempurna, itu saja! : D Juga, terima kasih atas tautannya yang sangat menarik.
Sander
Bagus, tetapi apakah ini kompatibel lintas platform?
l0b0
1
@ tripleee: Biasanya disarankan untuk menggunakan tputperintah untuk mencetak urutan pelarian seperti itu, sebagaimana disebutkan dalam duplikat yang tepat ini .
l0b0
1
@ Triplee Terima kasih atas masukannya! Namun saya tidak menganggap pertanyaan ini sebagai duplikat persis dari yang Anda sebutkan. Konteks pertanyaan lain sangat berbeda.
Sander
2
Ini sepertinya tidak lagi berfungsi
kapad
0

Mungkin bernilai saat Anda untuk mencoba KDE. Ini memiliki jendela terminal tab, dan setiap tab dapat dinamai hanya dengan mengklik kanan pada tab.

Scott C Wilson
sumber
Terima kasih atas saran Anda, namun, saya masih menyukai Gnome :)
Sander
0

Jika Anda perlu mengaturnya ke nama host tempat Anda masuk, Anda dapat menggunakan:

echo -ne "\ 033] 0; $ {HOSTNAME} \ 007"
Benjamin Goodacre
sumber
0

Jika Anda menggunakan Ubuntu 16.04 Anda mungkin perlu menghapus PS1 dan PROMPT_COMMAND seperti:

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

Saya mengumpulkan tulisan di tautan .

Zach Pfeffer
sumber