Skip to content

Instantly share code, notes, and snippets.

@grayrest
Created January 27, 2018 22:00
Show Gist options
  • Save grayrest/c2e5f4ef498feb87d9ca91684ba2004a to your computer and use it in GitHub Desktop.
Save grayrest/c2e5f4ef498feb87d9ca91684ba2004a to your computer and use it in GitHub Desktop.
Space key as right opt in Terminal
{
"title": "Change spacebar",
"rules": [
{
"description": "Change spacebar to right_option if pressed with other keys (Post spacebar when pressed alone)",
"manipulators": [
{
"type": "basic",
"from": {
"key_code": "spacebar",
"modifiers": {
"optional": [
"any"
]
}
},
"to": [
{
"key_code": "right_option"
}
],
"to_if_alone": [
{
"key_code": "spacebar"
}
],
"conditions": [
{
"type": "frontmost_application_if",
"bundle_identifiers": [
"^com\\.apple\\.Terminal$",
"^com\\.googlecode\\.iterm2$",
"^co\\.zeit\\.hyperterm$",
"^co\\.zeit\\.hyper$",
"^io\\.alacritty$"
]
}
]
}
]
}
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment