2017-01-05 キーリピートを速くする方法 defaults write -g InitialKeyRepeat -int 10 defaults write -g KeyRepeat -int 1