Works here
edit the line :Code:gksudo gedit /etc/default/grub
You can also edit the GRUB_CMDLINE_LINUX_DEFAULT="i8042.reset=1 quiet splash" line, but it will only change the default boot option and not the recovery and old kernel options in the grub menu.Code:GRUB_CMDLINE_LINUX="i8042.reset=1"
And rebootCode:sudo update-grub
Bookmarks