#!/bin/sh
set -ex

grub=/etc/default/grub
if [ -f /target$grub ] ; then
    in-target sed -i \
        's/^\(GRUB_CMDLINE_LINUX_DEFAULT=".*\)\bquiet\b\(.*"\)$/\1\2/g' \
        $grub
    # needed for the removal of "quiet" to take effect but
    # also to pick up the #852323 workaround (see above).
    in-target update-grub
fi