ใช้เพื่อให้สามารถคลิกขวาที่แท็บและเปลี่ยนชื่อ ไม่แน่ใจวิธีการทำเช่นนี้อีกต่อไป เพิ่งอัพเกรดเป็น Fedora 21
แก้ไข: ฉันเปลี่ยนจาก gnome-terminal เป็น ROXterm
ใช้เพื่อให้สามารถคลิกขวาที่แท็บและเปลี่ยนชื่อ ไม่แน่ใจวิธีการทำเช่นนี้อีกต่อไป เพิ่งอัพเกรดเป็น Fedora 21
แก้ไข: ฉันเปลี่ยนจาก gnome-terminal เป็น ROXterm
คำตอบ:
สร้างฟังก์ชั่นใน~/.bashrc
:
function set-title() {
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$*\a\]"
PS1=${ORIG}${TITLE}
}
จากนั้นใช้คำสั่งใหม่ของคุณเพื่อตั้งชื่อเทอร์มินัล มันทำงานกับช่องว่างในชื่อด้วย
set-title my new tab title
มันเป็นไปได้ที่จะใช้set-title
อีกครั้งในภายหลัง(PS1 ดั้งเดิมถูกเก็บรักษาไว้เป็นORIG
)
user title
รหัสถูกลบออก1gnome-terminal 3.14
จาก ในการตั้งชื่อคุณสามารถใช้ลำดับ escape:
printf "\e]2;YOUR TITLE GOES HERE\a"
หรือเช่นกับbash
:
PROMPT_COMMAND='echo -ne "\033]0;YOUR TITLE GOES HERE\007"'
1: คำพังเพยดูข้อผิดพลาด 724110และคำพังเพยข้อผิดพลาด 740188
--title
ตัวเลือกที่ฉันสามารถยืนยันได้ว่าได้รับการแก้ไขแล้ว อย่างไรก็ตาม Q ที่นี่เกี่ยวกับตัวเลือกคลิกขวาเพื่อเปลี่ยนชื่อแท็บที่เปิดอยู่ในปัจจุบัน - ปัญหาที่แตกต่าง ...
เวอร์ชั่นใหม่ของ gnome-terminal เพียงทิ้งคุณสมบัติระดับมืออาชีพที่เป็นประโยชน์มากที่สุด :-(
ฉันได้ลองติดตั้งและใช้งาน gnome-terminal รุ่นเก่ากว่าและเปรียบเทียบทางเลือกอื่น
หากterminator
แปลกใหม่เกินไปสำหรับคุณmate-terminal
นี่เป็นตัวเลือกที่ยอดเยี่ยม! มันเป็นทางแยกของ gnome-terminal และเก็บคุณสมบัติที่ดีไว้ทั้งหมด:
คุณสามารถเปิดหลายแท็บได้จากบรรทัดคำสั่งโดยให้ชื่อต่างกัน
mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
คุณสามารถตั้งค่าแป้นพิมพ์ลัด (ฉันใช้ Ctrl + Shift- i ) เพื่อตั้งค่าที่i tle
เมื่อคุณเรียกใช้โปรแกรมถิ่นที่อยู่เช่นด้านบนหรือ ssh แท็บจะมีข้อความกำกับอย่างเหมาะสม
gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb"
หากคุณใช้ Ubuntu 16.04 คุณอาจต้อง:
PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"
ใส่สิ่งนี้ใน. bashrc:
function title() {
p1='echo -ne "\033]0;'
p2='\007"'
PROMPT_COMMAND=$p1$@$p2
p1=
p2=
}
ในฐานะที่เป็นส่วนขยายของคำตอบของ @Weston Ganger หากคุณต้องการตั้งชื่อโดยอัตโนมัติเมื่อเปิดเทอร์มินัล Gnome ใหม่จากนั้นเพิ่มชื่อนี้ที่ด้านล่างของ~/.bashrc
:
if [ ! -z "$SET_TITLE" ]; then
set-title $SET_TITLE;
export SET_TITLE=;
fi
จากนั้นเปิดเทอร์มินัลเช่น:
gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'
และมันจะทำงานโดยอัตโนมัติset-title
เพื่อใช้ชื่อ
โซลูชันหนึ่งบรรทัดเพิ่มบรรทัดต่อไปนี้ใน. bashrc ของคุณ
alias tab_name='read -p "Name to Assign:" tabname ; printf "\e]2;$tabname\a" '
ตอนนี้พิมพ์ tab_name ใน terminal เช่น
user:~$ tab_name
Name to Assign: ( type desired name here! )
เสร็จสิ้น