Saya menggunakan yang berikut ini.
Memiliki perintah shell, dipanggil myssh
, dengan konten:
PROFILE="$1";shift;
DEF="Basic" #the default profile name
echo "tell app \"Terminal\" to set current settings of first window to settings set \"${PROFILE}\""|osascript
ssh $@
echo "tell app \"Terminal\" to set current settings of first window to settings set \"${DEF}\""|osascript
dan gunakan alias bash untuk koneksi, seperti:
alias ssweb='myssh Homebrew user@web.example.com'
alias ssmail='myssh Ocean me@mail.example.com'
Ketika saya ingin ssh ke server web, saya cukup menulis ssweb
di Terminal dan saya mendapat profil "Homebrew". Ketika sesi ssh berakhir, AppleScript mengatur kembali ke "Basic".
Alias harus masuk ke $ HOME / .profile atau file bash-startup serupa Anda.
"Homebrew", "Ocean" dll. Adalah profil pengaturan dari preferensi Terminal.app. Anda juga dapat mengatur berbagai font, penyandian, dll.
Tentu saja, Anda dapat menggunakannya secara langsung (tanpa alias) seperti:
myssh Pro user@another.machine.example.com
^ ^
| ssh command arguments
terminal profile name