Title says it all - what the default should be? That can be fought over every March and September…
3 Likes
I second this.
Actually on top of a toggle for that, I’d like one to remove “quiet splash” from the boot command line too :D
1 Like
In the meantime may I propose a manual workaround:
sudo mv /boot/grub/themes/ubuntu-mate/theme.txt /boot/grub/themes/ubuntu-mate/theme.txt.backup