Filename: /////sbin/grub-set-default

./Ninja\.