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 sswebdi 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