Skip to content

Instantly share code, notes, and snippets.

@kristinn
Created October 17, 2017 08:35
Show Gist options
  • Select an option

  • Save kristinn/7a2df9877800b20ffc7a52c8169ccbe4 to your computer and use it in GitHub Desktop.

Select an option

Save kristinn/7a2df9877800b20ffc7a52c8169ccbe4 to your computer and use it in GitHub Desktop.

Revisions

  1. kristinn created this gist Oct 17, 2017.
    2 changes: 2 additions & 0 deletions key_repeat.sh
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,2 @@
    defaults write -g InitialKeyRepeat -int 15 # default value is 20
    defaults write -g KeyRepeat -int 1 # default value is 2