berend 01 February 2021 Change boot order grub user@pc:$ sudo vi /etc/default/grub user@pc:$ sudo update-grub