Notice that the page suggests "# for i in /dev /dev/pts /proc "
so it is assumed that users should run
$ sudo -i
sudo SH -c '...' - as mentioned above. But it is not written in WIki.
I am thinking about if i should propose the Wiki update.
The error suggests that you forgot to mount the root partition to /mnt.
This case you will get the same error with your variant of commands:
So your suggestion is still not clear to me.
Oh, yes, thats my bad. Didn't do it when checking this particular question. OK, probably the bash script will run fine.
> https://wiki.debian.org/GrubEFIReinstall#Using_the_rEFInd_rescue_media
In the context of bind-mounts the link is confusing.
It's EFI Reinstall, not /boot reinstall, my only problem is that
"# for i in /dev /dev/pts /proc /sys /sys/firmware/efi/efivars /run; do mount -B $i /mnt/$i; done"
is given without instructions how to use bash here. not everyone are techies