Установил систему через debootstrap. Всё хорошо, но почему-то GRUB выставил prefix в ($root)/EFI/debian, из-за чего мне приходится вручную прописывать configfile ($root)/grub/grub.cfg
Откуда grub берёт изначальный prefix?
EDIT1: можно и в /EFI/GRUB/grub.cfg EDIT2: Вроде, нагуглил, но так и не понял, почему? (https://unix.stackexchange.com/questions/615109/wrong-grub-prefix-efi-grub-install-and-update-grub-doesnt-fix-it)