Các công việc sau đây cho thiết bị đầu cuối gnome3. Nó sử dụng xdotool để tự động tương tác với menu gnome, vì các phím tắt có sẵn hiện bị giới hạn.
Tôi đã tạo ra hai hồ sơ. Cái trên cùng trong menu Terminal-> Profiles là mặc định của tôi và cho biết một máy cục bộ. Cái thứ hai là bảng màu của tôi cho một kết nối từ xa đến machine66.
Sau đó tôi đã định nghĩa các bí danh sau trong bashrc của mình:
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"
First_profile và second_profile chỉ cần sử dụng xdotools để nhấp vào f10 (mở menu), sau đó di chuyển sang phải đến terminal, giảm 1 đến lựa chọn hồ sơ, sau đó chọn hồ sơ đầu tiên hoặc thứ hai.
Đầu tiên go66 gọi second_profile để đặt màu, ssh vào máy từ xa. Khi thoát ssh first_profile được gọi, trả lại hồ sơ cho hồ sơ địa phương.
Đó là clunky, nhưng nó hoạt động. Tôi rất vui khi nghe đề xuất sàng lọc.