On Sat, 30 Jan 2021 at 23:15, Bo Berglund <bo.berglund at gmail.com> wrote: > ... > Since it is for GRUB I assume it needs a reboot operation, riht? > Before reboot you must run sudo update-grub as indicated in the first line of grub.cfg Colin