Merge pull request #242 from aryankaran/patch-1

Fix background in terminal
master 2025-07-23
Vince 3 months ago committed by GitHub
commit 6c26f99622
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -215,11 +215,8 @@ install() {
fi
if grep "GRUB_BACKGROUND=" /etc/default/grub 2>&1 >/dev/null; then
#Replace GRUB_BACKGROUND
sed -i "s|.*GRUB_BACKGROUND=.*|GRUB_BACKGROUND=\"${THEME_DIR}/${theme}/background.jpg\"|" /etc/default/grub
else
#Append GRUB_BACKGROUND
echo "GRUB_BACKGROUND=\"${THEME_DIR}/${theme}/background.jpg\"" >> /etc/default/grub
# remove GRUB_BACKGROUND
sed -i "s|.*GRUB_BACKGROUND=.*||" /etc/default/grub
fi
# Make sure the right resolution for grub is set

Loading…
Cancel
Save