rm: cannot remove '/var/tmp/kernel/*': No such file or directory
+ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16-rc6/linux-headers-4.16.0-041600rc6-generic_4.16.0-041600rc6._amd64.deb
--2018-04-14 06:29:38--  http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16-rc6/linux-headers-4.16.0-041600rc6-generic_4.16.0-041600rc6._amd64.deb
Resolving kernel.ubuntu.com (kernel.ubuntu.com)... failed: Name or service not known.
wget: unable to resolve host address ‘kernel.ubuntu.com’
+ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16-rc6/linux-headers-4.16.0-041600rc6_4.16.0-041600rc6._all.deb
--2018-04-14 06:29:38--  http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16-rc6/linux-headers-4.16.0-041600rc6_4.16.0-041600rc6._all.deb
Resolving kernel.ubuntu.com (kernel.ubuntu.com)... failed: Name or service not known.
wget: unable to resolve host address ‘kernel.ubuntu.com’
+ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16-rc6/linux-image-4.16.0-041600rc6-generic_4.16.0-041600rc6._amd64.deb
--2018-04-14 06:29:38--  http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16-rc6/linux-image-4.16.0-041600rc6-generic_4.16.0-041600rc6._amd64.deb
Resolving kernel.ubuntu.com (kernel.ubuntu.com)... failed: Name or service not known.
wget: unable to resolve host address ‘kernel.ubuntu.com’
+ sudo dpkg -i linux-*.deb
dpkg: error: cannot access archive 'linux-*.deb': No such file or directory
+ sudo update-grub
Generating grub configuration file ...
Found linux image: /boot/vmlinuz-4.13.0-38-generic
Found initrd image: /boot/initrd.img-4.13.0-38-generic
Found linux image: /boot/vmlinuz-4.13.0-21-generic
Found initrd image: /boot/initrd.img-4.13.0-21-generic
Found Windows Boot Manager on /dev/nvme0n1p1@/EFI/Microsoft/Boot/bootmgfw.efi
Adding boot menu entry for EFI firmware configuration
done
+ : now enter: sudo reboot now