Berikut ini berfungsi untuk terminal gnome3. Ia menggunakan xdotool untuk mengotomatisasi interaksi dengan menu terminal gnome, karena pintasan keyboard yang tersedia saat ini terbatas.
Saya telah membuat dua profil. Yang teratas di menu Terminal-> Profil adalah default saya, dan menunjukkan mesin lokal. Yang kedua adalah skema warna saya untuk koneksi jarak jauh ke machine66.
Saya kemudian mendefinisikan alias berikut di bashrc saya:
alias first_profile="xdotool key F10 Right Right Right Right Down Right Return"
alias second_profile="xdotool key F10 Right Right Right Right Down Right Down Return"
alias go66="second_profile; ssh remotemachine66; first_profile"
Profil first_profile dan second_profile cukup menggunakan xdotools untuk mengklik f10 (buka menu), lalu lintasi kanan ke terminal, turun 1 ke pemilihan profil, lalu pilih profil pertama atau kedua.
go66 panggilan pertama second_profile untuk mengatur warna, ssh ke mesin jarak jauh. Pada keluar ssh first_profile dipanggil, mengembalikan profil ke profil lokal.
Itu kikuk, tetapi berhasil. Saya senang mendengar saran perbaikan.