That worked for me!!! Thanks. I'd downloaded the kernel sources and was about to start mucking about; but the BEST program is one you don't have to write.
Of course, after changing the file you cd to /boot/grub and run: $ sudo bash # grub-mkconfig > grub.cfg ^D $ DG -- hotkeys adjust brightness non-monotonically on EEEPC 1005PE https://bugs.launchpad.net/bugs/512567 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
