Commit dfcd4685 authored by Jan Groenewald's avatar Jan Groenewald
Browse files

Fix splash option in /etc/default/grub

parent b0201eb3
aims-live (2017.2.20180913.1) stretch; urgency=medium
* Fix splash option in /etc/default/grub
-- Jan Groenewald <jan@aims.ac.za> Thu, 13 Sep 2018 14:42:38 +0200
aims-live (2017.2.20180912.1) unstable; urgency=medium
* Update sources-final to use deb.debian.org
......
......@@ -11,9 +11,6 @@ chmod +s /bin/ping
chmod 0755 /
# Add splash for grub, if you dont want it, add 'nosplash'
if [ $(grep GRUB_CMDLINE_LINUX_DEFAULT /etc/default/grub) = \
'GRUB_CMDLINE_LINUX_DEFAULT="quiet"' ]; then
sed -i 's/GRUB_CMDLINE_LINUX_DEFAULT="quiet"/GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"/g' /etc/default/grub
fi
sed -i 's/GRUB_CMDLINE_LINUX_DEFAULT="quiet"/GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"/' /etc/default/grub
exit 0
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment