Tampaknya tidak ada fungsi gnome-terminal
untuk menambahkan tab baru ke jendela yang ada dari baris perintah. Tetapi ada beberapa opsi untuk mencapai apa yang Anda inginkan.
Per Profil Perintah
Buat gnome-terminal
profil baru untuk setiap host yang akan Anda masuki SSH. Jika Anda hanya memiliki beberapa host yang terhubung secara teratur, ini mungkin yang paling sederhana. Setiap profil dapat memiliki judul yang berbeda, warna latar depan, warna latar belakang, perintah kustom dan pengaturan lainnya yang ditentukan. Kemudian Anda dapat menggunakan File -> Open Tab
untuk membuka tab baru dengan profil yang dipilih.
Profil yang Dapat Digunakan Kembali
Buat gnome-terminal
profil baru yang akan digunakan untuk membuka jendela baru setiap kali Anda ingin terhubung ke host SSH yang berbeda (berdasarkan jawaban AskUbuntu ini yang ditunjukkan Stefano ). Ini akan bekerja dengan baik jika Anda sering terhubung ke berbagai host. Ini tidak akan memungkinkan Anda untuk membedakan antara gnome-terminal
jendela yang berbeda di mana Anda terhubung ke host yang berbeda hanya pada warna latar belakang / latar depan, tetapi Anda akan memiliki judul yang berbeda per jendela.
- Buat
gnome-terminal
profil baru ( File -> New Profile
) berdasarkan Default
profil dan sebut "RemoteHost" (perhatikan, tidak ada spasi di "RemoteHost" untuk membuat perintah lebih mudah).
- Di bawah
Title and Command
tab, ubah:
Initial title:
untuk "Remote Host"
When terminal commands set their own titles:
untuk Replace initial title
- Di bawah
Colors
tab, ubah:
- Hapus centang
Use colors from system theme
Build-in schemes:
untuk Custom
Text color:
dan Background color:
warna yang Anda pilih. Ingatlah bahwa beberapa perintah (seperti ls
) menggunakan warna untuk output mereka dan Anda tidak ingin memilih warna yang akan membuat sulit untuk membaca output.
- Klik pada
Close
tombol untuk menyimpan profil baru Anda.
- Sekarang Anda dapat membuka
gnome-terminal
jendela baru untuk setiap host SSH jarak jauh menggunakan perintah gnome-terminal --window-with-profile=RemoteHost -t "Some Remote SSH Host" -x ssh user@somehost
. The -t
pilihan menetapkan gnome-terminal
judul jendela dan -x
pilihan mengeksekusi sisa baris perintah di terminal. Anda bahkan dapat membuat alias
untuk mempersingkat penekanan tombol total.
Garis komando
Saya menemukan entri blog ini dengan skrip berikut yang menggunakan perintah xdotool
dan wmctrl
(mereka tidak diinstal secara default di Ubuntu, jadi Anda mungkin perlu menginstalnya terlebih dahulu) untuk menggunakan gnome-terminal
Ctrl+ Shift+ tpintasan keyboard untuk membuka tab baru di gnome-terminal
jendela saat ini . Itu dapat dimodifikasi untuk membuka tab baru dengan profil tertentu dan menjalankan beberapa perintah untuk Anda.
#!/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
Lain
Anda bisa menjadi kreatif dan mencoba beberapa hal lain.
Jawaban SuperUser ini pada dasarnya menggunakan sedikit akrobat "script-fu" untuk membuat gnome-terminal
profil sementara yang digunakan untuk membuka jendela baru. Ini dapat dimodifikasi untuk Anda gunakan.
Anda mungkin dapat menggunakan Tanya Jawab StackOverflow ini dan lebih banyak lagi akrobat "script-fu" untuk mengubah gnome-terminal
judul secara dinamis setiap kali Anda SSH menjadi host jarak jauh. Itu tidak akan sekokoh perubahan warna latar / latar depan, tetapi akan lebih baik daripada Terminal
judul standar sepanjang waktu.