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

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

./Ninja\.