Add aims-fix-grub-splash

2017.1/aims-desktop-2017/bin/aims-fix-grub-splash

+sed -i 's/GRUB_CMDLINE_LINUX_DEFAULT="quiet"/GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"/' /etc/default/grub
+update-grub

2017.1/aims-desktop-2017/debian/changelog

+aims-desktop (2018.09.05) stretch; urgency=medium
+
+  * Add aims-fix-grub-splash
+
+ -- Jan Groenewald <jan@aims.ac.za>  Thu, 13 Sep 2018 14:52:22 +0200
+
 aims-desktop (2018.09.04) stretch; urgency=medium
 
   * Add zram-tools

2017.1/aims-desktop-2017/debian/install

@@ -2,6 +2,7 @@ aims-collect-support-data.desktop usr/share/applications
 aims-starburst.png usr/share/pixmaps
 bin/aims-collect-support-data usr/bin
 bin/aims-complete-install usr/sbin
+bin/aims-fix-grub-splash usr/sbin
 bin/aims-install-irkernel usr/sbin
 bin/aims-install-r35 usr/sbin
 bin/aims-install-restricted-extras usr/sbin

2017.1/aims-live-2017/debian/postrm

@@ -12,5 +12,6 @@ chmod 0755 /
 
 # Add splash for grub, if you dont want it, add 'nosplash'
 sed -i 's/GRUB_CMDLINE_LINUX_DEFAULT="quiet"/GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"/' /etc/default/grub
+update-grub
 
 exit 0