commit 8b76edd69373672ab45934312d2b88810bdbd9e6 parent 506b396cf9ae37ab3f31be4b82b786c515708b33 Author: Markus Hanetzok <markus@hanetzok.net> Date: Mon, 27 Oct 2025 01:39:05 +0100 change GRUB theme to be installed Diffstat:
| M | post-install.sh | | | 6 | +++--- |
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/post-install.sh b/post-install.sh @@ -82,9 +82,9 @@ grub-mkconfig -o /boot/grub/grub.cfg > /dev/null # set GRUB theme echo "Install GRUB theme..." -git clone https://github.com/dracula/grub.git /tmp/grub > /dev/null -mv /tmp/grub/dracula /boot/grub/themes -echo "GRUB_THEME=/boot/grub/themes/dracula/theme.txt" >> /etc/default/grub +git clone https://github.com/krypciak/crossgrub /tmp/crossgrub > /dev/null +bash /tmp/crossgrub/install.sh +echo "GRUB_THEME=/boot/grub/themes/crossgrub/theme.txt" >> /etc/default/grub grub-mkconfig -o /boot/grub/grub.cfg > /dev/null # set ZDOTDIR in zshenv to keep $HOME clean(er)