Aşağıdakiler, gnome3 terminalleri için çalışır. Mevcut klavye kısayolları şu anda sınırlı olduğundan, gnome terminal menüsü ile etkileşimi otomatikleştirmek için xdotool kullanır.
İki profil oluşturdum. Terminal -> Profiles menüsündeki en üstteki varsayılan değerdir ve yerel bir makineyi gösterir. İkincisi, makineye uzaktan bağlantı için renk düzenimdir66.
Sonra aşağıdaki takma adları bashrc'ımda tanımladım:
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"
İlk_profile ve second_profile sadece f10 'a (menüyü açın) girmek için xdotools' u kullanın ve sonra sağa, terminal 1 'e aşağı doğru profil seçimine ilerleyin ve sonra birinci veya ikinci profili seçin.
go66, renkleri ayarlamak için önce ikinci_profili çağırır, ssh'ler uzak makineye. Ssh first_profile uygulamasından çıkarılırken, profili yerel profile geri döndürür.
Tembel, ama işe yarıyor. İyileştirme önerilerini duyduğuma memnun oldum.