某科には2つの演習サーバがありますが，そのうち一方はそろそろ寿命を迎えます． 新しい方に乗り換えたいところですが，独自の提出用コマンドが旧サーバでしか効かない，Web系の演習は片方のサーバでしかできないなどの事情があり，未だ難しいのが現状です．…

普段，terminal.appでSSH接続するときに ssh [ユーザ名]@[サーバ] -p [ポート] とタイプして，都度パスワードを入力している人へ． 簡潔に設定できるように記述しているため，一部適切とは言えないものも含みます． 以下の操作は，サーバではなく，自分のMac…