Re: 05/06: gnu: wget: Add wget2.

2017-11-17 Thread Rutger Helling
Hi Mark and Ludo, I wrote a small patch that switches to the official mirror. On 2017-11-16 23:22, Mark H Weaver wrote: > l...@gnu.org (Ludovic Courtès) writes: > >> civodul pushed a commit to branch master >> in repository guix. >> >> commit afc438231623fceb4ec8f3aa2f8c4e8f99a3ec22 >> Autho

Re: 05/06: gnu: wget: Add wget2.

2017-11-17 Thread Mark H Weaver
Hi, Rutger Helling writes: > I wrote a small patch that switches to the official mirror. Your patch changes the source URI, but not the home-page. Would you like to update your patch to change the home-page too? Mark > From 18d5e35e56f4c34ad0e55cee18eef86b8ea2d5f9 Mon Sep 17 00:00:00 2

Re: 05/06: gnu: wget: Add wget2.

2017-11-17 Thread Rutger Helling
Oops! Here's V2. On 2017-11-17 20:28, Mark H Weaver wrote: > Hi, > > Rutger Helling writes: > >> I wrote a small patch that switches to the official mirror. > > Your patch changes the source URI, but not the home-page. Would you > like to update your patch to change the home-page too? > >

Re: Is anyone opposed to GnuTLS with DANE by default?

2017-11-17 Thread Ludovic Courtès
ng0 skribis: > Ludovic Courtès transcribed 0.5K bytes: >> ng0 skribis: >> >> > Am I in the 'old system design' mindwset when I think that >> > every application that has applications such as libmicrohttpd >> > in its direct dependency chain should depend on the GnuTLS >> > version LMH uses and

Re: patch: partition vs filesystem

2017-11-17 Thread Ludovic Courtès
Marco van Hulten skribis: > Patch for documentation attached. > > terminology: replaced partition with filesystem where needed I added a commit log and applied it on your behalf. Thank you! Ludo’.

Re: patch: partition vs filesystem

2017-11-17 Thread Marco van Hulten
Ludovic— Je 17 nov 21:55 transskribita far Ludovic Courtès: > Marco van Hulten skribis: > > > Patch for documentation attached. > > > > terminology: replaced partition with filesystem where needed > > I added a commit log and applied it on your behalf. Thank you! No problem, thanks for appl

Re: Building Docker images of GuixSD

2017-11-17 Thread Ludovic Courtès
Hi Chris, Chris Marusich skribis: > Run GuixSD in Docker > > > The attached patch makes it possible to build a GuixSD Docker image from > an operating system configuration file. For some reason, I had overlooked this message, but it’s awesome! > Pretty neat! Yup! > Probl

Re: manifest load error report.

2017-11-17 Thread Ludovic Courtès
Hi, Mathieu Othacehe skribis: > When loading a manifest with an obvious error like "definee > packages-list" instead of "define package-list", no error is reported, > the "guix package -m manifest.scm command just exit with error 1. Really? I have this: --8<---cut here

java: switch to icedtea-8 as default JDK

2017-11-17 Thread Ricardo Wurmus
Hi Guix, some of our Java packages now only build with icedtea-8. To avoid incompatibilities we should make icedtea-8 the default and make sure that all packages still build with that version. Who would like to help with this? We can do this in a separate branch and build it on berlin.guixsd.or

Re: boot the Hurd with Guix

2017-11-17 Thread Maxim Cournoyer
ren...@openmailbox.org writes: > Finally I was able to start the Hurd with the binaries generated with the > guix package manager. Exciting news! Congrats :) Maxim