3
# Boot using systemd and disable quiet boot
4
# to see what is happening.
5
systemd=/lib/systemd/systemd
6
if [ -f /etc/default/grub ]; then
8
-e "s,^\\([ ]*GRUB_CMDLINE_LINUX\\)=\"\"$,\\1=\"init=$systemd\",g" \
9
-e 's,^\([ ]*GRUB_CMDLINE_LINUX_DEFAULT\)="quiet splash",\1="",g' \