Hi Ludo, On Tue, 10 Dec 2019 at 17:19, Ludovic Courtès <l...@gnu.org> wrote:
> YOANN P <yoann_mac_don...@hotmail.com> skribis: > >> As said, it is not a bug of "guix pull" but a bug of the > >> configuration. Adding the root user to your Dockerfile should fix the > >> issue you encounter. > > > > The fact that guix require $USER to be set is IMO a kind of bug and is > > documented anywhere. > > I had not understood that. I guess the patch below fixes it, I’ll push > it shortly. Bug or not a bug? that is the question. ;-) If I understand well, the "default" case will never happen now. And does the addition not include (getenv "USER") and LOGNAME? Cheers, simon
