Gnome: Geçerli terminalin başlığını bash komut satırından değiştir

9

Belirli bir başlık ile yeni bir terminal başlatmak için seçenekler olduğunu biliyorum, ve 'Terminal' -> Başlık Ayarla menüsünü kullanarak bir terminalden başlığı değiştirmek mümkündür.

Ancak, komut satırından geçerli bir terminal için değiştirmek istiyorum. Mevcut bir Gnome terminalinin başlığını komut satırından nasıl değiştirebilirim ?

— Sander
kaynak

13

Uygun bir xterm kaçış dizisi çıkar.

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

Ayrıca bkz . Xterm'in başlığını değiştirme .

— tripleee
kaynak

Mükemmel, işte bu! : D Ayrıca, çok ilginç bağlantı için teşekkürler.

— Sander

Güzel, ama platformlar arası uyumlu mu?

— l0b0

1

@tripleee: Genellikle, tam olarak bu kopyada tputbelirtildiği gibi, bu tür kaçış dizilerini yazdırmak için komutların kullanılması önerilir .

— l0b0

1

@triplee Giriş için teşekkürler! Ancak bu soruyu sizin bahsettiğiniz sorunun tam bir kopyası olarak görmüyorum. Diğer sorunun bağlamı çok farklı.

— Sander

2

Bu artık çalışmıyor gibi görünüyor

— kapad

0

KDE'yi denemek zaman ayırmaya değer olabilir. Sekmeli terminal pencereleri vardır ve her sekme sadece sekmeye sağ tıklayarak adlandırılabilir.

— Scott C Wilson
kaynak

Önerileriniz için teşekkürler, yine de hala Gnome ile sevgim var :)

— Sander

0

Oturum açtığınız ana bilgisayar adına ayarlamanız gerekirse şunları kullanabilirsiniz:

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

— Benjamin Goodacre
kaynak

0

Ubuntu 16.04 kullanıyorsanız PS1 ve PROMPT_COMMAND'ı temizlemeniz gerekebilir:

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

Ben de bunun üzerine birlikte bir yazma koymak linke .

— Zach Pfeffer
kaynak