USBキーボード

 win用のUSBキーボードを切替の達人2でminiに繋いでいるのですが、切り替えた直後はキーボードを認識してくれなくて、その都度コネクタを抜き差ししてからシステム環境設定の「キーボードの種類を変更」で認識させないといけません。
 もう一つはオプションキー/コマンドキーの並びがwindowsキー/Altキーで入れ替わっているため、ちょっと使いづらかったりしていました。そういえばuControlというのがあったと思い、いろいろ調べてみたら何のことは無くシステム環境設定の「修飾キー」でオプションキーとコマンドキーを入れ替えればいいことがわかりました。