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

./Ninja\.