2017-12-19 05:17:31 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
ROOT_UID=0
|
|
|
|
|
|
|
|
if [ "$UID" -eq "$ROOT_UID" ]; then
|
|
|
|
|
|
|
|
# Copy StylishDark
|
|
|
|
cp -a StylishDark /boot/grub/themes
|
|
|
|
|
|
|
|
# Set StylishDark
|
|
|
|
grep "GRUB_THEME=" /etc/default/grub 2>&1 >/dev/null && sed -i '/GRUB_THEME=/d' /etc/default/grub
|
|
|
|
echo "GRUB_THEME=\"/boot/grub/themes/StylishDark/theme.txt\"" >> /etc/default/grub
|
|
|
|
|
|
|
|
# update grub
|
2018-05-22 13:05:27 +02:00
|
|
|
grub-mkconfig -o /boot/grub/grub.cfg
|
2017-12-19 05:17:31 +01:00
|
|
|
|
2018-05-22 13:05:27 +02:00
|
|
|
echo -e "\n All done!"
|
2017-12-19 05:17:31 +01:00
|
|
|
|
|
|
|
else
|
2018-05-22 13:05:27 +02:00
|
|
|
echo -e "\n Please run this script by root..."
|
2017-12-19 05:17:31 +01:00
|
|
|
fi
|
|
|
|
|
|
|
|
|