Map option-space to normal space
Probably every OS X user knows it, you're typing something like:
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:
PS: Yes there is a new "OS X" category on my blog :)
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 :)
Comments
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!
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, 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.