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

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