Re: guix gc doesn't seem to clean old guix revision

2019-12-19 Thread Ludovic Courtès
Hi, YOANN P skribis: >> Hi Yoann, > > Hi Ludo, > >> I had not understood that.  I guess the patch below fixes it, I’ll push >> t shortly. > >> Thanks, >> Ludo’. > > Look great, but IMO, your addition, "(passwd:name (getpwuid (getuid", > should be the only way to get the username since $USER

RE: guix gc doesn't seem to clean old guix revision

2019-12-11 Thread YOANN P
> Hi Yoann, Hi Ludo, > I had not understood that.  I guess the patch below fixes it, I’ll push > t shortly. > Thanks, > Ludo’. Look great, but IMO, your addition, "(passwd:name (getpwuid (getuid", should be the only way to get the username since $USER and $LOGNAME could be overridden or uns

Re: guix gc doesn't seem to clean old guix revision

2019-12-10 Thread zimoun
Hi Ludo, On Tue, 10 Dec 2019 at 17:19, Ludovic Courtès wrote: > YOANN P 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

Re: guix gc doesn't seem to clean old guix revision

2019-12-10 Thread Ludovic Courtès
Hi Yoann, YOANN P skribis: >> It is similar to Bug#36785 [1]. > >> 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

Re: guix gc doesn't seem to clean old guix revision

2019-12-02 Thread zimoun
Hi, On Mon, 2 Dec 2019 at 21:55, YOANN P wrote: > > I do not understand: running without any $USER is kind of very special > > edge case. > > It is not special at all, $USER is only set when using a login shell. > So if you script some guix commands (who doesn't use a login shell), > it broke as

RE: guix gc doesn't seem to clean old guix revision

2019-12-02 Thread YOANN P
> > > 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 do not understand: runni

Re: guix gc doesn't seem to clean old guix revision

2019-12-02 Thread zimoun
Dear, On Fri, 29 Nov 2019 at 16:14, YOANN P wrote: > > 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 > documen

RE: guix gc doesn't seem to clean old guix revision

2019-11-29 Thread YOANN P
> It is similar to Bug#36785 [1]. > 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. It will be less p

Re: guix gc doesn't seem to clean old guix revision

2019-11-27 Thread zimoun
Hi, On Tue, 26 Nov 2019 at 20:26, zimoun wrote: > > guix pull > Migrating profile generations to '/var/guix/profiles/default'... > --8<---cut here---end--->8--- It is similar to Bug#36785 [1]. As said, it is not a bug of "guix pull" but a bug of the configur

Re: guix gc doesn't seem to clean old guix revision

2019-11-26 Thread zimoun
Hi, > And what i observed is it seems that 'guix gc' doesn't clean old guix > revision. It is because when pulling you do not replace but you create another profile. Therefore, garbage collect does not apply as you expect. It appears clearly by running "guix gc --list-roots" on your guix:latest

RE: guix gc doesn't seem to clean old guix revision

2019-11-24 Thread YOANN P
> Like Julien, I find it surprising: where does that “default” come from? > Did you mean “/per-user/default” or really “/default”?  If the latter, > something’s really fishy.  :-) > Ludo’. Hi ludo, I provided a reproducible case with how i arrive at this "weird" state in a previous email. But to

Re: guix gc doesn't seem to clean old guix revision

2019-11-23 Thread Ludovic Courtès
Hi Yoann, YOANN P skribis: > Not sure if it is related but i also observed that guix pull changed my > /root/.config/guix/current symlink > > Prior to guix pull: > /root/.config/guix/current --> /var/guix/profiles/per-user/root/current-guix > After guix pull: > /root/.config/guix/current --> /v

RE: guix gc doesn't seem to clean old guix revision

2019-11-21 Thread YOANN P
> Other said, how can I reproduce the behaviour you are observing? # Download requirements $ mkdir -p /tmp/guix-docker $ wget -O /tmp/guix-docker/Dockerfile https://raw.githubusercontent.com/rockandska/.dotfiles/084b3c6924eeb985cb40edfc90e3827b10ba61e2/.local/opt/dotfiles-bootstrap/tests/Dockerf

Re: guix gc doesn't seem to clean old guix revision

2019-11-21 Thread zimoun
Hi, On Tue, 19 Nov 2019 at 13:34, YOANN P wrote: > I was testing the creation of guix docker image to be able to have multiple > versions : Please could you report here how you generate your Docker image? Using: guix pack -f docker or something else? Other said, how can I reproduce the

RE: guix gc doesn't seem to clean old guix revision

2019-11-20 Thread YOANN P
> Is default a username or the value of $USER maybe? @julien : default is not the name of any user, only root and guix-build users are present under my container > To delete old generations, use `guix system delete-generations`, for > packages, use `guix package` with flag `delete-generations`.

Re: guix gc doesn't seem to clean old guix revision

2019-11-20 Thread John Soo
Hi, To delete old generations, use `guix system delete-generations`, for packages, use `guix package` with flag `delete-generations`. Hope that helps. As an aside, your question might find more traction on the help-g...@gnu.org list instead; guix-devel is the development list. - John

RE: guix gc doesn't seem to clean old guix revision

2019-11-20 Thread Julien Lepiller
Le 20 novembre 2019 13:00:23 GMT+01:00, YOANN P a écrit : >After re-reading the doc for 'guix gc', i now know why. > >It seems that guix pull doesn't change the symlink in >/var/guix/profiles/per-user/root/current-guix and is list in gc roots > >/var/guix/profiles/per-user/root/current-guix --> c

RE: guix gc doesn't seem to clean old guix revision

2019-11-20 Thread YOANN P
After re-reading the doc for 'guix gc', i now know why. It seems that guix pull doesn't change the symlink in /var/guix/profiles/per-user/root/current-guix and is list in gc roots /var/guix/profiles/per-user/root/current-guix --> current-guix-1-link --> /gnu/store/rrhs9c8k0vbpirqplfzh2bf1xczr3z