PortValhalla/scripts/Common/Config/GRUB/minegrub-theme.sh

#!/bin/bash
sudo sed -i "s/^#\?\(GRUB_THEME=\).*$/\1\"\/usr\/share\/grub\/themes\/minegrub\/minegrub\/theme.txt\"/" /etc/default/grub;
sudo grub-mkconfig -o /boot/grub/grub.cfg;
Add a script for configuring GRUB to use minegrub 2023-04-03 22:25:58 +00:00			`#!/bin/bash`
Fix broken minegrub theme path 2023-08-04 16:48:22 +00:00			`sudo sed -i "s/^#\?\(GRUB_THEME=\).*$/\1\"\/usr\/share\/grub\/themes\/minegrub\/minegrub\/theme.txt\"/" /etc/default/grub;`
Add a script for configuring GRUB to use minegrub 2023-04-03 22:25:58 +00:00			`sudo grub-mkconfig -o /boot/grub/grub.cfg;`