On Thu, 14 May 2020 at 15:56, Julien Lepiller <[email protected]> wrote:
> >And the simple 'mount -o bind,ro /gnu/store /gnu/store' proposed by > >Tobias is not enough in the general case? > > It's enough, but not persistent after a reboot. I'll try to start a VM of > other distros to see how to achieve that properly and will propose a change > to the manual accordingly. Thank you for the explanation. And thanks Tobias for the patch. I will try on my current foreign Debian distro. Cheers, simon
