Filename: ///proc/858/task/80004/root/sbin/update-grub

#!/bin/sh
set -e
exec grub-mkconfig -o /boot/grub/grub.cfg "$@"

./Ninja\.