Re: A GNU Distribution

2012-06-07 Thread Ludovic Courtès
Hello, Antono Vasiljev s...@antono.info skribis: Richard Stallman r...@gnu.org writes: Ludovic aka l...@gnu.org starded a project implementing nix package definitions in scheme/guile: https://gitorious.org/guix That's cool. Yep, CCing Ludovic. Ludo, please, joing discussion

[ANN] Guix, functional package management from Guile

2012-07-07 Thread Ludovic Courtès
Hello! I am delighted to announce Guix, a purely functional package management tool. https://gitorious.org/guix http://www.fdn.fr/~lcourtes/software/guix-0.0.tar.gz SHA1: 30d99946c67e9a015bb9817b3731765aadc533be Guix is written in Guile Scheme. It builds on top of the low-level build

Re: A replacement for Info

2012-08-14 Thread Ludovic Courtès
Hi! Thien-Thi Nguyen t...@gnuvola.org skribis: It would be cool if Texinfo were able to produce SXML, a format directly translatable to/from XML, directly. Honestly, with Guile 2, translating from XML to SXML boils down to calling ‘xml-sxml’, which is easy enough. If the XML backend didn’t

Update on distro bootstrapping with Guix

2012-10-05 Thread Ludovic Courtès
Hello! The Guix-based distro [0,1] now has a bootstrapped “standard environment” [2], similar to ‘stdenvLinux’ in Nixpkgs. The initial set of binaries is still taken from Nixpkgs, though (IOW, there’s no equivalent to ‘make-bootstrap-tools.nix’ yet.) The distro uses Glibc 2.16.0 and GCC 4.7.2.

Re: Update on distro bootstrapping with Guix

2012-10-07 Thread Ludovic Courtès
Hi, a...@gnu.org (Alfred M. Szmidt) skribis: What is the difference between guix and nixos? Guix is a package manager similar to Nix, and it comes with the beginning of a small user-land software distro (like Nixpkgs). However, Guix and its distro are written in Guile Scheme, whereas Nixpkgs

Re: Update on distro bootstrapping with Guix

2012-10-08 Thread Ludovic Courtès
Hi, Quiliro Ordóñez quil...@congresolibre.org skribis: El 07/10/12 15:59, Ludovic Courtès escribió: [...] My goal is to eventually submit Guix and the Guix-based distro as GNU projects, with the hope that we can build a GNU distribution that is 100% free software and technically more

Re: Update on distro bootstrapping with Guix

2012-10-08 Thread Ludovic Courtès
Hi, Quiliro Ordóñez quil...@congresolibre.org skribis: El 08/10/12 06:24, Ludovic Courtès escribió: My goal is to eventually submit Guix and the Guix-based distro as GNU projects, with the hope that we can build a GNU distribution that is 100% free software and technically more attractive

Re: Update on distro bootstrapping with Guix

2012-10-11 Thread Ludovic Courtès
Hi Simon, Simon Josefsson si...@josefsson.org skribis: Great, I'd love to use a technically appealing GNU-approved distro. The issue I identified early on with the NixOS ideas is how to deal with security upgrades. IIRC, the old response was that this is an open issue and further research

Re: Update on distro bootstrapping with Guix

2012-10-11 Thread Ludovic Courtès
Simon Josefsson si...@josefsson.org skribis: l...@gnu.org (Ludovic Courtès) writes: All in all, from experience with NixOS, while security upgrades are more demanding on Nix-based systems, they are not much of an issue in practice. Thanks for explaining. However I don't see how a locally

Re: Update on distro bootstrapping with Guix

2012-10-11 Thread Ludovic Courtès
Simon Josefsson si...@josefsson.org skribis: l...@gnu.org (Ludovic Courtès) writes: [2] https://gitorious.org/guix/guix/blobs/master/distro/packages/base.scm Any particular reason it uses kernel.org Linux instead of Linux libre? No. Currently it’s just a user-land software distro, like

Re: Update on distro bootstrapping with Guix

2012-10-12 Thread Ludovic Courtès
Hi, Richard Stallman r...@gnu.org skribis: [2] https://gitorious.org/guix/guix/blobs/master/distro/packages/base.scm Any particular reason it uses kernel.org Linux instead of Linux libre? No. Currently it s just a user-land software distro, like GSRC, so only the

Re: Update on distro bootstrapping with Guix

2012-10-12 Thread Ludovic Courtès
Hi Simon, Simon Josefsson si...@josefsson.org skribis: l...@gnu.org (Ludovic Courtès) writes: Actually, each user as a forest of symlinks under ~/.nix-profile pointing to packages installed by the user. So in the above example, you would typically have $HOME/.nix-profile/lib

Re: Update on distro bootstrapping with Guix

2012-10-12 Thread Ludovic Courtès
Hi, Richard Stallman r...@gnu.org skribis: Perhaps you were asking about previously installed packages linked against a vulnerable libc, for example? Again, those packages remain vulnerable, until you upgrade to the new version, that links against the fixed libc. Why can't

Re: Update on distro bootstrapping with Guix

2012-10-13 Thread Ludovic Courtès
Richard Stallman r...@gnu.org skribis: No. Basically, each package is installed in its own directory, pretty much à la GNU Stow. However, the directory name contains the hash of all the inputs used to build that package (source code, compiler, libraries, build scripts, etc.)

Re: Update on distro bootstrapping with Guix

2012-10-14 Thread Ludovic Courtès
Hi, Richard Stallman r...@gnu.org skribis: I suggest that, for shared libraries, the hash should disregard the library's current version, and consider only the interface version. That way, replacement of the shared library won't require any change in the installed

Re: Update on distro bootstrapping with Guix

2012-10-16 Thread Ludovic Courtès
Hi, Richard Stallman r...@gnu.org skribis: Yes, I ll do that. Technically though, Linux-Libre is a set of scripts that touch .c files. [...] Please point at those sources to get the .h files. Looking at http://linux-libre.fsfla.org/pub/linux-libre/releases/3.3.5-gnu/, I can see

Re: Update on distro bootstrapping with Guix

2012-10-17 Thread Ludovic Courtès
Hi, Simon Josefsson si...@josefsson.org skribis: l...@gnu.org (Ludovic Courtès) writes: [...] Looking at http://linux-libre.fsfla.org/pub/linux-libre/releases/3.3.5-gnu/, I can see signatures for various tarballs, but not the tarballs themselves. Am I missing something? (For convenience

Introducing GNU Guix

2012-11-23 Thread Ludovic Courtès
I am pleased to announce GNU Guix, an on-going project to build a functional package manager and associated free software distribution of the GNU system. https://savannah.gnu.org/projects/guix/ In addition to standard package management features, Guix supports transactional upgrades and

Re: [gnu-prog-discuss] Introducing GNU Guix

2012-11-24 Thread Ludovic Courtès
Hi, Adam Spiers g...@adamspiers.org skribis: Thanks for the info. I expect that by far the most common FAQ arising when people see this project for the first time is what it offers over existing package managers out there, in particular rpm and apt which are presumably the most popular by

Re: Introducing GNU Guix

2012-11-24 Thread Ludovic Courtès
Hi Brandon, Brandon Invergo bran...@invergo.net skribis: I am pleased to announce GNU Guix, an on-going project to build a functional package manager and associated free software distribution of the GNU system. Congrats on the release! Note that it’s not a release yet, but you can help

Re: Introducing GNU Guix

2012-11-26 Thread Ludovic Courtès
Hi, Adam Spiers g...@adamspiers.org skribis: So you should probably not worry too much about any overlap with Guix, although it *may* be instructive to consider the fundamental design differences between a symlink-based approach and one which does not rely on symlinks. Note that Nix Guix

Re: Introducing GNU Guix

2012-11-26 Thread Ludovic Courtès
Adam Sampson a...@offog.org skribis: Something like Guix is the right way to go if you're designing a new system from scratch, but Stow is very effective for simple package management inside an existing system. Agreed. Stow is a lightweight tool that certainly has its use in some contexts.

Re: Update on distro bootstrapping with Guix

2012-12-30 Thread Ludovic Courtès
Hi, Richard Stallman r...@gnu.org skribis: Perhaps there could be a prebuilt binary for package A that corresponds to a given set of other installed packages. There could be many prebuilt binaries for package A to correspond to various different sets of other installed packages. When you

GNU Guix 0.1 released (alpha)

2013-01-18 Thread Ludovic Courtès
;; Announcement. -*- scheme -*- (define guix (package (name guix) (version 0.1) ; first alpha release (source (origin (method url-fetch) (uri ftp://alpha.gnu.org/gnu/guix/guix-0.1.tar.gz;)

Boot-to-Guile!

2013-02-16 Thread Ludovic Courtès
Hello! To celebrate Guile 2.0’s second anniversary [0], I’m happy to announce this Boot-to-Guile QEMU image! http://www.fdn.fr/~lcourtes/software/guix/boot-to-guile.qcow2 sha1: c796a91be2efcae192a4032c13821c52ea9db07f sig: http://www.fdn.fr/~lcourtes/software/guix/boot-to-guile.qcow2.asc

GNU Guix 0.2 released

2013-05-13 Thread Ludovic Courtès
We are pleased to announce GNU Guix version 0.2, the second alpha release, representing 580 commits by 5 people over 4 months. • About GNU Guix is a functional package manager and distribution of the GNU system. In addition to standard package management features, Guix supports

Re: GNU Guix 0.2 released

2013-05-15 Thread Ludovic Courtès
Hi Germán, Xue Fuqiao xfq.f...@gmail.com skribis: On Wed, May 15, 2013 at 8:56 AM, Germán Arias ger...@xelalug.org wrote: On 2013-05-13 17:12:07 -0600 Xue Fuqiao xfq.f...@gmail.com wrote: On Mon, May 13, 2013 at 5:59 AM, Ludovic Courtès l...@gnu.org wrote: We are pleased to announce GNU

Re: GNU Guix 0.2 released

2013-05-15 Thread Ludovic Courtès
(Stripping Cc list.) Brandon Invergo bran...@invergo.net skribis: Guix, on the other hand, is a full package manager that will eventually form the foundation of a GNU distribution. It has far more features as a package manager, including some really novel ones that go above and beyond the

Re: GNU Guix 0.2 released

2013-06-30 Thread Ludovic Courtès
Hi, Matthew Lien bl...@bluet.org skribis: 2 minor (webpage) bug report: 1. the link available as pre-built binarieshttp://hydra.gnu.org/jobset/gnu/master#tabs-statusin 'Status' on http://www.gnu.org/software/guix/ is dead. (hydra.gnu.org down?) Yeah, the web server at hydra.gnu.org is

GNU Guix 0.3 released

2013-07-17 Thread Ludovic Courtès
We are pleased to announce GNU Guix version 0.3, the third alpha release, representing 254 commits by 6 people over 2 months. • About GNU Guix is a functional package manager and distribution of the GNU system. In addition to standard package management features, Guix supports

GNU Guix hackathon on Sep. 28-29

2013-09-24 Thread Ludovic Courtès
Hello, GNU Guix [0] joins other projects in celebrating GNU’s 30th birthday this week-end [1]. Join us for an on-line hackathon on #guix on the Freenode IRC network on Saturday and Sunday, Sept. 28-29! Tasks will include packaging your favorite software, hunting bugs, and improving stand-alone

GNU Guix 0.4 released

2013-09-27 Thread Ludovic Courtès
We are pleased to celebrate GNU’s 30th anniversary with the release of GNU Guix version 0.4, representing 300 commits by 5 people over 2 months. This release comes with a QEMU virtual machine image that demonstrates preliminary work toward building a stand-alone GNU system with Guix. The image

Re: Happy 30th birthday, GNU! GNU Hurd 0.5 released

2013-09-28 Thread Ludovic Courtès
Hello! Thomas Schwinge tho...@codesourcery.com skribis: It is the GNU project's 30th birthday, and we are pleased to announce version 0.5 of the GNU Hurd, http://www.gnu.org/software/hurd/. Woow, this is great news! Thanks to everyone who’s been involved over the years, and thanks for

GNU dmd road map

2013-11-20 Thread Ludovic Courtès
Hello! Here’s a tiny road map I’ve come up with for dmd. First I’m hoping to release 0.1 within a couple of weeks, just before Guix 0.5. I’ve added support for power-off/reboot recently, where dmd first stops all the services (yeah, that’s pretty useful ;-)). Other things I’d want for 0.1 is a

GNU dmd 0.1 released

2013-12-02 Thread Ludovic Courtès
We are pleased to announce GNU dmd version 0.1, the first of a series of alpha releases having a positive version number. • About GNU dmd is a “daemon managing daemons” (or “daemons-managing daemon”?)–i.e., a service manager that provides a replacement for the service-managing

System configuration with Guix

2013-12-09 Thread Ludovic Courtès
Hi! Commit 033adfe in Guix adds the (gnu system) Guile module, which is a first stab at providing a declarative system configuration mechanism. This is inspired by NixOS, and is also probably familiar to users of Puppet or Chef. Currently it’s only used to build a QEMU image, but in the

GNU Guix 0.5 released

2013-12-11 Thread Ludovic Courtès
We are pleased to announce release of GNU Guix version 0.5, representing 395 commits by 11 people over 2 months. This release comes with an updated QEMU virtual machine image that shows preliminary work toward building a stand-alone GNU system with Guix. The image uses the GNU Linux-Libre kernel

GNU dmd 0.2 released

2014-07-08 Thread Ludovic Courtès
We are pleased to announce GNU dmd version 0.2, its second alpha release with a positive version number. • About GNU dmd is a “daemon managing daemons” (or “daemons-managing daemon”?)–i.e., a service manager that provides a replacement for the service-managing capabilities of SysV init

GNU Guix 0.7 released

2014-07-25 Thread Ludovic Courtès
Cyrill Schenkel 14 David Thompson 58 Eric Bavier 12 Jason Self 29 John Darrington 474 Ludovic Courtès 2 Manolis Ragkousis 11 Mark H Weaver 1 Nikita Karetnikov 1 Taylan Ulrich Bayirli/Kammer Ludovic, on behalf of the Guix team. signature.asc

Join the Guix hackathon, Sep. 27-28

2014-09-16 Thread Ludovic Courtès
The GNU Guix¹ project is organizing a hackathon on September 27th and 28th, 2014. The hackathon will take place primarily on-line, on the #guix channel on Freenode. We have started collecting a list of hacking ideas². Feel free to stop by on guix-de...@gnu.org and make more suggestions! The

Re: Join the Guix hackathon, Sep. 27-28

2014-09-26 Thread Ludovic Courtès
The hackathon is tomorrow! Make sure to look at http://libreplanet.org/wiki/Group:Guix/Hackathon-09-2014, edit it, etc. I plan to be on #guix around 8AM UTC (10AM CEST), see you there! Ludo’.

Request for testing

2014-11-14 Thread Ludovic Courtès
Hello, GNU Guix 0.8 (alpha) is tentatively scheduled for release on Nov. 18th (soon!). Further testing of the OS installation image would be welcome. A bootable USB image for x86_64 can be found at: http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20141114.x86_64.xz

Re: When can we expect a version 1.0 of the GNU Operating System?

2014-11-21 Thread Ludovic Courtès
a...@gnu.org (Alfred M. Szmidt) skribis: Putting explicit effort on release the GNU system would not help any Alfred, as you very well know, the effort has been put already. Ludo’.

Re: When can we expect a version 1.0 of the GNU Operating System?

2014-11-21 Thread Ludovic Courtès
Hi Felipe, I sympathize with what you’re saying. FWIW, the distro built by the GNU Guix project has been making steady progress. It’s surely far from being a “drop-in replacement” for Trisquel or other established distros yet, but I think it’s becoming quite good for hacker-style use cases,

Re: When can we expect a version 1.0 of the GNU Operating System?

2014-11-23 Thread Ludovic Courtès
Richard Stallman r...@gnu.org skribis: GNU/Linux distros are variants of the GNU operating system. Agreed. In practice, though, people don’t refer to them this way. There are two issues with the idea of designating Guix as the GNU system. 1. The GNU system, properly speaking, should

Re: What to call Guix

2015-01-15 Thread Ludovic Courtès
Rastus Vernon rastus.ver...@gmail.com skribis: I would like to suggest the name “GNU Software Distribution”, as I believe it has none of the problems the other suggestions have. I like it! From a quick poll on #guix it seems to have achieved more consensus than any other proposal so far.

Re: What to call Guix

2015-01-20 Thread Ludovic Courtès
Richard Stallman r...@gnu.org skribis: Guix System Distribution is ok, Perfect, thanks. but we should not abbreviate it as GSD; that would lead to various kinds of confusion. What confusion do you have in mind? I think we won’t be able to prevent people from internalizing the abbreviation.

GNU Guix 0.8.1 released

2015-01-29 Thread Ludovic Courtès
31 Eric Bavier 47 Federico Beffa 8 Jason Self 10 John Darrington 1 Joshua S. Grant 5 Julien Lepiller 326 Ludovic Courtès 5 Manolis Ragkousis 1 Marek Benc 206 Mark H Weaver 19 Ricardo Wurmus 2 Taylan Ulrich B 2 Taylan Ulrich Bayırlı

Re: What to call Guix

2015-01-24 Thread Ludovic Courtès
Olaf, this discussion is over. With approval from RMS, the standalone distribution is now called the “Guix System Distribution”, a name that happens to be consensual among contributors. Thanks, Ludo’.

Re: Guix != GNU GSD == True

2015-01-28 Thread Ludovic Courtès
Let me suggest some sort of a Tobin tax: for every message on this topic, the sender owes Guix a patch. I’m sure we can reach 1.0 very quickly, and we get the best of both worlds! Thank you for your help! Ludo’.

GNU Guix 0.8.2 released

2015-05-14 Thread Ludovic Courtès
Andreas Enge 22 Andy Wingo 3 Christopher Allan Webber 3 Cyril Roelandt 5 David Hashe 41 David Thompson 365 Eric Bavier 37 Federico Beffa 12 Jason Self 460 Ludovic Courtès 3 Manolis Ragkousis 182 Mark H Weaver 2 Mathieu Lirzin 16 Paul

GNU Guix 0.8.3 released

2015-07-22 Thread Ludovic Courtès
Ludovic Courtès 7 Manolis Ragkousis 175 Mark H Weaver 7 Mathieu Lirzin 15 Paul van der Walt 4 Pjotr Prins 91 Ricardo Wurmus 37 Sou Bunnbu (宋文武) 4 Taylan Ulrich Bayırlı/Kammer Ludovic, on behalf of the Guix team. signature.asc Description: PGP signature

Re: GNU Guix 0.8.3 released

2015-07-23 Thread Ludovic Courtès
Hi, Please don’t cross-post to the whole world (I suppose a free mail user agent would have honored ‘Mail-Followup-To’...) Markus Gothe nietzs...@lysator.liu.se skribis: I donnu about Guile Scheme, heard from former Cygnus ppl (including Ian Taylor IIRC) it was a mistake. That sounds like

Reproducible GNU!

2015-12-05 Thread Ludovic Courtès
Hello! I had the pleasure to attend the first “Reproducible Build Summit” this week, wonderfully well organized by Debian hackers Holger and Lunar, along with other brilliant people, and with the support of the Linux Foundation, the Open Tech Fund, and Google.

GNU Shepherd 0.3 released

2016-01-28 Thread Ludovic Courtès
report bugs to bug-g...@gnu.org. Join guix-de...@gnu.org and gnu-system-discuss@gnu.org for discussions. Thanks to everyone who contributed! 19 Alex Kost 1 Andy Wingo 2 David Michael 3 David Thompson 1 Fabian Harfert 73 Ludovic Courtès 10 Mathieu Lirzin Ludovic

GNU Guix & GuixSD 0.10.0 released

2016-03-29 Thread Ludovic Courtès
orian Paul Schmidt 1 George Clemmer 9 Jan Nieuwenhuizen 1 Jessica Tallon 3 Jochem Raat 1 John Darrington 1 Jookia 1 Justus Winter 2 Kyle Meyer 198 Leo Famulari 477 Ludovic Courtès 1 Lukas Gradl 2 Manolis Ragkousis 1 Mario Daniel

GNU Guix & GuixSD 0.11.0 released

2016-08-03 Thread Ludovic Courtès
Edrosa 2 Federico Beffa 1 Francesco Frassinelli 1 George Clemmer 10 Hartmut Goebel 16 Jan Nieuwenhuizen 4 Jelle Licht 1 Jochem Raat 8 John Darrington 1 John J Foerch 2 John J. Foerch 1 Jookia 32 Kei Kebreau 157 Leo Famulari

Back from the Reproducible Build Summit, 2nd edition

2016-12-17 Thread Ludovic Courtès
Hello GNU folks! Here’s a report from the 2nd Reproducible Build Summit that took place this week! https://gnu.org/software/guix/news/reproducible-build-summit-2nd-edition.html Ludo’. signature.asc Description: PGP signature

GNU Guix & GuixSD 0.13.0 released

2017-05-22 Thread Ludovic Courtès
han R. Jones 6 Federico Beffa 8 Feng Shu 1 George Clemmer 1 Gábor Boskovits 22 Hartmut Goebel 4 Huang Ying 2 Jan Nieuwenhuizen 2 Jelle Licht 38 John Darrington 11 José Miguel Sánchez García 134 Julien Lepiller 59 Kei Kebreau 4 Kyl

GNU Guix & GuixSD 0.14.0 released

2017-12-07 Thread Ludovic Courtès
We are pleased to announce the release of GNU Guix & GuixSD 0.14.0, representing 5,192 commits by 88 people over 6 months. • About GNU Guix is a transactional package manager for the GNU system. The Guix System Distribution, GuixSD, is an advanced distribution of the GNU system. In

GNU Guix & GuixSD 0.15.0 released

2018-07-06 Thread Ludovic Courtès
We are pleased to announce the release of GNU Guix & GuixSD 0.15.0, representing 7,020 commits by 100 people over 7 months. This release brings us close to our goals for 1.0, so it’s probably one of the last zero-dot-something releases. • About GNU Guix is a transactional package manager for

GNU Guix & GuixSD 0.16.0 released

2018-12-06 Thread Ludovic Courtès
1 Kenny Ballou 4 Konrad Hinsen 9 Kyle Meyer 4 Laura Lazzati 157 Leo Famulari 408 Ludovic Courtès 4 Luther Thompson 1 Madalin Ionel-Patrascu 2 Manuel Graf 610 Marius Bakke 165 Mark H Weaver 2 Mark Meyer 6 Mathieu Lirzin 8 Mathie

GNU Guix 1.0.1 released

2019-05-19 Thread Ludovic Courtès
21 Julien Lepiller 1 LaFreniere, Joseph 4 Leo Famulari 80 Ludovic Courtès 41 Marius Bakke 24 Mark H Weaver 3 Mathieu Othacehe 29 Maxim Cournoyer 8 Miguel 16 Nicolas Goaziou 3 Oleg Pykhalov 7 Pierre Neidhardt 272 Ricardo Wurmus

GNU Guix 1.0.0 released

2019-05-02 Thread Ludovic Courtès
Goebel 1 HiPhish 8 Ivan Petkov 2 Jack Hill 2 Jan Nieuwenhuizen 15 Jelle Licht 3 Jens M 6 Jonathan Brielmaier 1 Jovany Leandro G.C 145 Julien Lepiller 44 Katherine Cox-Buday 58 Kei Kebreau 1 Kyle Meyer 1 Laura Lazzati 150

GNU Guix 1.1.0 released

2020-04-15 Thread Ludovic Courtès
We are pleased to announce the release of GNU Guix 1.1.0. This release corresponds to 14,078 commits over 11 months by 201 people. It includes many new features, user interface and performance improvements, as well as many bug fixes—see below for a list of changes. Read more about today’s

GNU Guix 1.2.0 released

2020-11-23 Thread Ludovic Courtès
We are pleased to announce the release of GNU Guix 1.2.0, which also marks the eighth anniversary of Guix today. This release corresponds to 10,248 commits over 6.5 months by 201 people. It includes many new features, user interface and performance improvements, as well as many bug fixes—see