Comment 5 for bug 1667373

I'm doing it the other way around; the USB stick (which has a full 32-bit Debian install, not just a live distro) is what I'm trying to edit, and I'm running from my Ubuntu 64-bit install on my laptop. Would that still cause a problem?

With /dev/sdb1 (boot partition of USB drive) mounted at `/mnt`:

$ sudo ls /mnt/etc/grub.d/bin/grubcfg_proxy
-rwxr-xr-x 1 root root 469160 Jul 25 11:39 /mnt/etc/grub.d/bin/grubcfg_proxy
$

$ echo 123 | sudo bin/grubcfg_proxy "+*"

123
$