From dab41433688ff2247020d7a6fe12ac2140a75fb5 Mon Sep 17 00:00:00 2001 From: "Danilo M." Date: Tue, 29 Sep 2026 10:11:28 +0200 Subject: fix(grub): copy the theme from dist/udt, where the build script writes it Co-Authored-By: Claude Opus 5.5 --- install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'install.sh') diff --git a/install.sh b/install.sh index abcfd51..8052f71 100755 --- a/install.sh +++ b/install.sh @@ -349,7 +349,7 @@ if [ -x "$grub_repo/build" ]; then if "$grub_repo/build"; then echo echo "grub theme: run these as root to install or refresh it" - echo " rm -rf /boot/grub/themes/udt && cp -r \"$grub_repo/build/udt\" /boot/grub/themes/" + echo " rm -rf /boot/grub/themes/udt && cp -r \"$grub_repo/dist/udt\" /boot/grub/themes/" echo " # once: GRUB_THEME=\"/boot/grub/themes/udt/theme.txt\" in /etc/default/grub, then" echo " grub-mkconfig -o /boot/grub/grub.cfg" else -- cgit v1.2.3