Guix - installation script

Hi, I've found your project very interesting. I've played with installation instruction but it has a lot of different steps, for convenience purpose I've wrote installation script which goes through all points of your guide. As far as I could say, there is no any official installation script for

Re: Open MPI keeps references to GCC, GFortran, etc.

Ludovic Courtès writes: > My intent was to remove the *run-time* dependency of openmpi on gcc & > co. (as returned by ‘guix gc --references’ or ‘guix size openmpi’.) OK, I can send that, though there might still be a case for a separate runtime output. >> Looking at

Re: NetworkManager instead of Wicd in ‘%desktop-services’?

l...@gnu.org (Ludovic Courtès) writes: > Maxim Cournoyer skribis: > >> I've noticed the same (lack of DNS resolution) following a reboot for >> some minutes and was also wondering what was causing this. I'm using >> wicd as part of the %desktop-services, so that

Re: Grafting fails for latest Go release candidate

[Adding Ludovic to the CC] Leo Famulari writes: > Working on the Go package, I found that the grafting procedure fails in > a way that I don't understand: > > -- > $ ./pre-inst-env guix build go@1.9 > The following derivation will be built: >

Re: Grafting fails for latest Go release candidate

On 31 July 2017 16:39:25 CEST, Leo Famulari wrote: >Working on the Go package, I found that the grafting procedure fails in >a way that I don't understand: > >-- >$ ./pre-inst-env guix build go@1.9 >The following derivation will be built: >

Grafting fails for latest Go release candidate

Working on the Go package, I found that the grafting procedure fails in a way that I don't understand: -- $ ./pre-inst-env guix build go@1.9 The following derivation will be built: /gnu/store/bv30jxzjl7c5z3hk6pmywpzwwrn1hq5m-go-1.9rc1.drv @ build-started

Re: Open MPI keeps references to GCC, GFortran, etc.

Hello Dave, Dave Love skribis: > Ludovic Courtès writes: [...] >> Interesting. It’s not a “should” though IMO, in the sense that we add >> additional inputs only when we have a good reason to do so. > > I think I was misunderstanding. Is the

Re: 04/04: gnu: guix: Add dependency on Guile-Git.

Hello, Mark H Weaver skribis: > l...@gnu.org (Ludovic Courtès) writes: > >> civodul pushed a commit to branch master >> in repository guix. >> >> commit 9ca8aa38ecce0b0651a0ff394ee4ce32bdd0bb41 >> Author: Ludovic Courtès >> Date: Fri Jul 28 17:52:21 2017 +0200

Re: NetworkManager instead of Wicd in ‘%desktop-services’?

Maxim Cournoyer skribis: > I've noticed the same (lack of DNS resolution) following a reboot for > some minutes and was also wondering what was causing this. I'm using > wicd as part of the %desktop-services, so that specific problem is > probably not related to

Re: NetworkManager instead of Wicd in ‘%desktop-services’?

Mark H Weaver skribis: > l...@gnu.org (Ludovic Courtès) writes: > >> Mark H Weaver skribis: >> >>> I've been using Network Manager with GNOME for several months at least, >>> and generally I find it works very well, and reconnects much more >>> quickly than

Re: NetworkManager instead of Wicd in ‘%desktop-services’?

Hi, Mark H Weaver writes: > l...@gnu.org (Ludovic Courtès) writes: > >> Shouldn’t we replace Wicd with NetworkManager in ‘%desktop-services’? >> >> I’ve given it a try on a GuixSD GNOME installation and it appears to >> work well, and it’s obviously well-integrated with GNOME,

Re: 01/01: gnu: wxmaxima: Update to 17.05.0.

Kei Kebreau writes: > Mark H Weaver writes: > >> Kei Kebreau writes: >> >>> Mark H Weaver writes: >>> k...@openmailbox.org (Kei Kebreau) writes: > @@ -2172,6 +2176,10 @@ point numbers.") >

Re: NetworkManager instead of Wicd in ‘%desktop-services’?

l...@gnu.org (Ludovic Courtès) writes: > Mark H Weaver skribis: > >> I've been using Network Manager with GNOME for several months at least, >> and generally I find it works very well, and reconnects much more >> quickly than wicd. > > Good. > >> However, there is one annoying

Re: How to add KDE desktop service?

Hi Danny, thanks a lot for this information. This should help me to get started. Completing will take quite some time, since … > > Hmmm not sure what exactly "components" means. Are those dbus services? … this is what I don't know. KDE plasma seems to be huge and I need to figure out what

Re: Open MPI keeps references to GCC, GFortran, etc.

Ludovic Courtès writes: > Hi, > > Dave Love skribis: > >> Ludovic Courtès writes: >> >>> Hello, >>> >>> Open MPI retains references to GCC, GFortran, etc., which significantly >>> increases its closure size. >> >> My query about

Re: NetworkManager instead of Wicd in ???%desktop-services????

On Sun, Jul 30, 2017 at 06:52:55PM +, ng0 wrote: > But we're discussing desktop-environments here, not minimal stripped > down WMs and their use cases. > Do you suggest we tell people to just use the CLI or "add one of the > following choices of network connectivity tools and their services"?

Re: NetworkManager instead of Wicd in ‘%desktop-services’?

Hi Mark, Mark H Weaver skribis: > I've been using Network Manager with GNOME for several months at least, > and generally I find it works very well, and reconnects much more > quickly than wicd. Good. > However, there is one annoying bug: every time I reboot the system, the >

Re: NetworkManager instead of Wicd in ‘%desktop-services’?

Jan Nieuwenhuizen skribis: > I would welcome some improvement here, or insight on my part. Since I > moved away from desktop environments, wicd has not not worked for me and > I have been using ifconfig, wpa_supplicant and dhclient manually. That > has removed my dependency on

Re: core-updates: biber

Leo Famulari writes: > On Sun, Jul 30, 2017 at 04:23:43PM -0400, Leo Famulari wrote: >> Ricardo added biber-2.5 in 253cdd6c1464c944be2418ee9161f5f5b57e0eee. >> Ricardo, can you check if it's still necessary? > > I tried to find out myself, but the location of the relevant