I love it! After applying your line in my .bashrc, I went looking for a way to disable the Num Lock key, wanting it to always be in numeric mode. I could not find any way to do it, but I did discover that you can do the same thing by using a line something like..
xmodmap -e "keycode 79 = KP_7 KP_7"
This doesn't disable the Num_Lock, but it doesn't matter.
Use "xmodmap -pke" first, to check which keycodes are relevant.
Comment
I love it! After applying your line in my .bashrc, I went looking for a way to disable the Num Lock key, wanting it to always be in numeric mode. I could not find any way to do it, but I did discover that you can do the same thing by using a line something like..
xmodmap -e "keycode 79 = KP_7 KP_7"
This doesn't disable the Num_Lock, but it doesn't matter.
Use "xmodmap -pke" first, to check which keycodes are relevant.