From cc7972df0d42e13f128db2eb75c35ffe373d412a Mon Sep 17 00:00:00 2001
From: Ricardo Pardini <ricardo@pardini.net>
Date: Wed, 4 Jan 2023 12:26:54 +0100
Subject: [PATCH] armbian-next: `grub`: make
 `/usr/share/desktop-base/grub_background.sh` executable, otherwise does
 nothing

---
 extensions/grub.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/extensions/grub.sh b/extensions/grub.sh
index 86da6364f2..da9be40783 100644
--- a/extensions/grub.sh
+++ b/extensions/grub.sh
@@ -204,12 +204,14 @@ configure_grub() {
 
 	# Enable Armbian Wallpaper on GRUB
 	if [[ "${VENDOR}" == Armbian ]]; then
+		display_alert "Enabling" "Armbian Wallpaper on GRUB" "info"
 		mkdir -p "${MOUNT}"/usr/share/desktop-base/
 		cat <<- grubWallpaper >> "${MOUNT}"/usr/share/desktop-base/grub_background.sh
 			WALLPAPER=/usr/share/images/grub/wallpaper.png
 			COLOR_NORMAL=white/black
 			COLOR_HIGHLIGHT=black/white
 		grubWallpaper
+		run_host_command_logged chmod -v +x "${MOUNT}"/usr/share/desktop-base/grub_background.sh
 	fi
 
 	display_alert "GRUB EFI kernel cmdline" "${GRUB_CMDLINE_LINUX_DEFAULT} distro=${UEFI_GRUB_DISTRO_NAME} timeout=${UEFI_GRUB_TIMEOUT}" ""