ดูเหมือนว่าจะไม่มีฟังก์ชั่นใด ๆ gnome-terminal
ไปยัง เพิ่มแท็บใหม่ไปยังหน้าต่างที่มีอยู่ จากบรรทัดคำสั่ง แต่มีตัวเลือกน้อยเพื่อให้บรรลุสิ่งที่คุณต้องการ
ต่อคำสั่งโปรไฟล์
สร้างใหม่ gnome-terminal
โปรไฟล์สำหรับแต่ละโฮสต์คุณจะ SSH หากคุณมีโฮสต์เพียงไม่กี่แห่งที่คุณเชื่อมต่อเป็นประจำนี่อาจเป็นวิธีที่ง่ายที่สุด แต่ละโปรไฟล์สามารถมีหัวเรื่องที่แตกต่างกันสีพื้นหน้าสีพื้นหลังคำสั่งที่กำหนดเองและการตั้งค่าอื่น ๆ ที่กำหนดไว้ จากนั้นคุณสามารถใช้ File -> Open Tab
เพื่อเปิดแท็บใหม่ด้วยโปรไฟล์ที่เลือก
นำมาใช้ใหม่โปรไฟล์
สร้างใหม่ gnome-terminal
โพรไฟล์ที่จะใช้ในการเปิดหน้าต่างใหม่ทุกครั้งที่คุณต้องการเชื่อมต่อกับโฮสต์ SSH อื่น (ขึ้นอยู่กับสิ่งนี้ AskUbuntu คำตอบ ที่ สเตฟาโน ชี้ให้เห็น). สิ่งนี้จะใช้งานได้ดีถ้าคุณเชื่อมต่อกับโฮสต์หลายแห่งบ่อยๆ สิ่งนี้จะไม่อนุญาตให้คุณแยกแยะความแตกต่าง gnome-terminal
windows ที่คุณเชื่อมต่อกับโฮสต์ที่แตกต่างกันเพียงอย่างเดียวในสีพื้นหลัง / เบื้องหน้า แต่คุณจะมีชื่อเรื่องที่แตกต่างกันต่อหน้าต่าง
- สร้างใหม่
gnome-terminal
ข้อมูลส่วนตัว ( File -> New Profile
) ขึ้นอยู่กับ Default
โปรไฟล์และเรียกว่า "RemoteHost" (หมายเหตุไม่มีช่องว่างใน "RemoteHost" เพื่อให้คำสั่งง่ายขึ้น)
- ภายใต้
Title and Command
แท็บเปลี่ยน:
Initial title:
ถึง "รีโมตโฮสต์"
When terminal commands set their own titles:
ไปยัง Replace initial title
- ภายใต้
Colors
แท็บเปลี่ยน:
- ยกเลิกการเลือก
Use colors from system theme
Build-in schemes:
ไปยัง Custom
Text color:
และ Background color:
เพื่อสีที่คุณเลือก โปรดทราบว่าคำสั่งบางอย่าง (เช่น ls
) ใช้สีสำหรับเอาท์พุตของมันและคุณไม่ต้องการเลือกสีที่จะทำให้อ่านออกยาก
- คลิกที่
Close
เพื่อบันทึกโปรไฟล์ใหม่ของคุณ
- ตอนนี้คุณสามารถเปิดใหม่
gnome-terminal
หน้าต่างสำหรับแต่ละโฮสต์ SSH ระยะไกลโดยใช้คำสั่ง gnome-terminal --window-with-profile=RemoteHost -t "Some Remote SSH Host" -x ssh user@somehost
. -t
ตัวเลือกชุด gnome-terminal
ชื่อหน้าต่างและ -x
ตัวเลือกดำเนินการส่วนที่เหลือของบรรทัดคำสั่งใน terminal คุณสามารถทำได้ alias
เพื่อลดการกดแป้นทั้งหมด
บรรทัดคำสั่ง
ฉันพบ รายการบล็อกนี้ ด้วยสคริปต์ต่อไปนี้ที่ใช้ xdotool
และ wmctrl
คำสั่ง (พวกเขาไม่ได้ติดตั้งตามค่าเริ่มต้นบน Ubuntu ดังนั้นคุณอาจต้องติดตั้งก่อน) เพื่อใช้ gnome-terminal
Ctrl + เปลี่ยน + เสื้อ แป้นพิมพ์ลัดเพื่อเปิดแท็บใหม่ในปัจจุบัน gnome-terminal
หน้าต่าง. มันสามารถแก้ไขได้เพื่อเปิดแท็บใหม่ที่มีโปรไฟล์เฉพาะและดำเนินการคำสั่งบางอย่างสำหรับคุณ
#!/bin/bash
# Path: /usr/local/bin/gnome-terminal
if [ "x$*" != "x" ]; then
/usr/bin/gnome-terminal "$@"
else
pgrep -u "$USER" gnome-terminal | grep -qv "$$"
if [ "$?" == "0" ]; then
WID=`xdotool search --class "gnome-terminal" | head -1`
xdotool windowfocus $WID
xdotool key ctrl+shift+t
wmctrl -i -a $WID
else
/usr/bin/gnome-terminal
fi
fi
อื่น ๆ
คุณสามารถสร้างสรรค์และลองทำอย่างอื่นได้
นี้ คำตอบของ SuperUser โดยทั่วไปใช้กายกรรม "script-fu" เพื่อสร้างชั่วคราว gnome-terminal
โพรไฟล์ที่ใช้เปิดหน้าต่างใหม่ มันอาจได้รับการดัดแปลงเพื่อการใช้งานของคุณ
คุณอาจใช้สิ่งนี้ได้ StackOverflow Q & amp; A และกายกรรม "script-fu" เพิ่มเติมเพื่อเปลี่ยน gnome-terminal
ชื่อทุกครั้งที่คุณ SSH ไปยังโฮสต์ระยะไกล มันจะไม่โดดเด่นเท่ากับการเปลี่ยนสีพื้นหลัง / เบื้องหน้า แต่จะดีกว่ามาตรฐาน Terminal
ชื่อเรื่องตลอดเวลา