most of these require logout/restart to take effect
# Enable character repeat on keydown
defaults write -g ApplePressAndHoldEnabled -bool false
# Set a shorter Delay until key repeat| def ping(server, port): | |
| ''' Check if a server accepts connections on a specific TCP port ''' | |
| try: | |
| s = socket.socket(socket.AF_INET, socket.SOCK_STREAM) | |
| s.connect((server, port)) | |
| s.close() | |
| return True | |
| except socket.error: | |
| return False |
| { | |
| "use_simple_full_screen": false, | |
| // calculates indentation automatically when pressing enter | |
| "auto_indent": true, | |
| // sets the colors used within the text area (default) | |
| // see https://github.com/olivierlacan/monokaim to download | |
| // the customized Monokai I use. | |
| "color_scheme": "Packages/Color Scheme - Default/Monokaim.tmTheme", |