Hi Ludo, On Tue, 10 Dec 2019 at 17:19, Ludovic Courtès <[email protected]> wrote:
> YOANN P <[email protected]> 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
