Thank you, this solved my issue. and saves me a few seconds of boot timegm10 wrote: ↑Thu Jan 31, 2019 9:07 pmIn a terminal window run:followed byCode: Select all
sudo sed -i "/recordfail_broken=/{s/1/0/}" /etc/grub.d/00_header
Code: Select all
sudo update-grub
