08-29-2017, 06:18 AM
This is awesome! Thanks! I'll volunteer to test. So what do I do? Download the 3 Debian packages for 4.13.0-rc1 to /tmp then run sudo dpkg -i linux-headers-4.13*.deb linux-image-4.13*.deb ? In Grub machine, I have to run update-grub but what about this?