Re: Stackage LTS 14

2019-11-20 Thread John Soo
Thanks Tim, Marius! Good work! I am really happy about xmobar, it’s so much more stable now. I’ll take a look at idris next time I get the chance. - John

Re: Stackage LTS 14

2019-11-20 Thread Timothy Sample
Hi Marius, Marius Bakke writes: > I appreciate the heads-up. Thanks again for taking on this task. The > branch LGTM. > > I've restarted the builds that you mentioned in another message. How is > the weather looking, do you think it's ready to merge? :-) There are a few remaining issues, bu

Re: Mailman packaging (was: Re: Python package naming: Dots vs hyphens)

2019-11-20 Thread Pjotr Prins
This is great. Finally we can consider hosting our own mail servers. I have a few google groups that need love. Pj.

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

Guix and FSDG

2019-11-20 Thread Raghav Gururajan
Hello FSF and GNU! I came across, a discussion, in #fsf IRC channel, regarding GNU Guix project and it's non-compliance with FSDG. Here, in this email, I would like to express my thoughts, about what the situation is and how it can be rectified. Please consider reading this email to the end. Guix