Filename: //etc/grub.d/////10_linux

./Ninja\.