#!/bin/sh -x

# Boot using systemd and disable quiet boot
# to see what is happening.
systemd=/lib/systemd/systemd
sed \
    -e 's,^\([ 	]*GRUB_CMDLINE_LINUX\)=""$,\1="init=$systemd",g' \
    -e 's,^\([ 	]*GRUB_CMDLINE_LINUX_DEFAULT\)="quiet splash",\1="",g' \
    /etc/default/grub