ファンクションキーが効かなくなったときの対処法

なぜかたまにファンクションキーが効かなくなる
毎日頻繁に効かなくなるわけではない
せいぜい1ヶ月に1回あるかないか程度
まぁ頻繁に効かなくなったら完全にシステムがいかれちゃってると思うがね

この対処法を毎回調べるのが面倒なのでここに書いておく

いたってシンプルでターミナルで

killall Dock

と入力するだけ

ファンクションキーと Dock の関係がよくわからないがこれでなぜか治る

暇があったらそこらを調べてみようと思う