Remember : Linux(any distro) "dumps" all the bios settings at boot. That includes the "numlock=on"-setting.
I haven't figured out , how to change that , but one finger on the numlock-button after boot isn't that much of work , now is it?
Still , I agree ; it's a minor nuisance.
|