Gnome: เปลี่ยนชื่อของเทอร์มินัลปัจจุบันจากบรรทัดคำสั่ง bash

ฉันรู้ว่ามีตัวเลือกให้เริ่มต้นเทอร์มินัลใหม่ด้วยชื่อที่ระบุและเป็นไปได้ที่จะเปลี่ยนชื่อจากเทอร์มินัลโดยใช้เมนู: 'Terminal' -> Set Title

อย่างไรก็ตามฉันต้องการเปลี่ยนเป็นเทอร์มินัลปัจจุบันจากบรรทัดคำสั่ง ฉันจะเปลี่ยนชื่อสำหรับเทอร์มินัล Gnome ที่มีอยู่จากบรรทัดคำสั่งได้อย่างไร

เอาต์พุตลำดับ xterm escape ที่เหมาะสม

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

ดูวิธีเปลี่ยนชื่อ xtermด้วย

การลองใช้ KDE อาจคุ้มค่ากับคุณ มันมีหน้าต่างเทอร์มินัลแบบแท็บและแต่ละแท็บสามารถตั้งชื่อได้ด้วยการคลิกขวาบนแท็บ

หากคุณต้องการตั้งเป็นชื่อโฮสต์ที่คุณเข้าสู่ระบบคุณสามารถใช้:

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

หากคุณใช้ Ubuntu 16.04 คุณอาจต้องล้าง PS1 และ PROMPT_COMMAND เช่น:

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

ฉันใส่กันเขียนมันขึ้นมาที่การเชื่อมโยง