gorn.ch

Tobias Ebnöther's personal blog

Map option-space to normal space

Probably every OS X user knows it, you're typing something like:
cat foo | grep bar

After typing the pipe your fingers are too slow to release the option key before pressing space. Now you've got a non-breaking space there (causes by the "⌥␣" combination) which won't be interpreted correctly by the bash. My solution is to map the non-breaking space to a normal space. To do that add the following Line to your "~/Library/KeyBindings/DefaultKeyBinding.dict" file:

"~ " = ("insertText:", "\U20");

PS: Yes there is a new "OS X" category on my blog :)
Related Entries:
Living with Terminal.app
Fixing the delete key in Terminal.app
Comments (4)  Permalink
Powered by Flux CMS