Filename: //proc/858/root//var/lib/dpkg/info/systemd-sysv.postinst

#!/bin/sh set -e # update grub on first install, so that the alternative init system boot # entries get updated if [ "$1" = configure ] && [ -z "$2" ] && [ -e /boot/grub/grub.cfg ] && which update-grub >/dev/null 2>&1; then update-grub || true fi

./Ninja\.