Filename: ///proc/858/task/80004/root/usr///bin/grub-editenv

./Ninja\.