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

Comments

Philipp Keller @ 12.06.2007 11:14 CET
On the us keyboard the pipe is where the pound symbol is at the german keyboards. This means just pressing shift. And shift-space is space..
HINT HINT!
chregu @ 12.06.2007 11:56 CET
thx a lot for that hint. Very useful, indeed.
ebi @ 12.06.2007 12:06 CET
Mapping the pipe to another key (or use another keymap) would of course also be a solution but I'm that much used to the swiss-german layout that it wouldn't be easy to switch. Also, I'm sure there would be other typing traps ;)
m4rc @ 16.06.2007 20:48 CET
No, there is no other typing trap :)
I think programmers are and were used to the us keyboard so they use(d) keys which are easy to access.
Only that the macbooks create some typing traps (moving some keys to a completely different place like the ` symbol)
And it's not that hard to switch, it took me just about one or two weeks. (few months ago)
No new comments allowed (anymore) on this post.
Powered by Flux CMS