Linuxサーバのユーザ名はだいたい「taku」としているのですが、Windows PCのユーザ名を「Taku」にしてしまいました。だもんで、OpenSSHでLinuxサーバにつなぐ際に、毎回ssh taku@tigermilkのようにユーザ名を指定していたのですが、これはたぶん設定できるは…