Re: Trouble with DHCP and GuixSD in a VM

2017-05-26 Thread Peter Baumgarten
Thank you everyone. I just went ahead and assumed I had internet access and guix init is downloading right now.

Re: Trouble with DHCP and GuixSD in a VM

2017-05-26 Thread Leo Famulari
On Fri, May 26, 2017 at 10:36:07AM +0200, Hartmut Goebel wrote: > > Am 26.05.2017 um 09:03 schrieb Jan Nieuwenhuizen: > >> I am able to ping both from my host machine. > > Don't try to use ping (ICMP) to test the network. Use someting tcp/udp, > > wget/ssh for example. I recommend `guix

cross-compilation support in perl-build-system

2017-05-26 Thread Ricardo Wurmus
Hi Guix, I’m trying to cross-build GCompris for armhf. Having just implemented cross-compilation support for the cmake-build-system I’m now presented with an error about the perl-build-system that currently doesn’t support cross-building. I don’t know how cross-building works for Perl. Are

Re: Switching to Artifex Ghostscript

2017-05-26 Thread Ricardo Wurmus
Leo Famulari writes: > On Sun, May 21, 2017 at 03:06:41PM +0200, Ricardo Wurmus wrote: >> Marius Bakke writes: >> > Leo Famulari writes: >> >> Both programs are distributed under the AGPL, as far as I can tell. But >> >> Artifex

enter debugger on failure

2017-05-26 Thread Ricardo Wurmus
Hi Guix, sometimes Guix crashes. That’s sometimes because of existing bugs (often in importers) or because I’ve just added something that doesn’t quite work. When Guix crashes it prints a backtrace and exits. Would it be possible to change that behaviour and instead enter a debug REPL where I

Re: Trouble with DHCP and GuixSD in a VM

2017-05-26 Thread Marius Bakke
Jan Nieuwenhuizen writes: > Peter Baumgarten writes: > >> I am following along with the steps to get GuixSD installed in a VM here >> https://www.gnu.org/software/guix/ >> manual/guix.html#Installing-GuixSD-in-a-VM and I am stuck on getting the VM >> to have internet access.

Re: Trouble with DHCP and GuixSD in a VM

2017-05-26 Thread Hartmut Goebel
Am 26.05.2017 um 09:03 schrieb Jan Nieuwenhuizen: >> I am able to ping both from my host machine. > Don't try to use ping (ICMP) to test the network. Use someting tcp/udp, > wget/ssh for example. This is only partly correct. ping *may* not be a sufficient network test, since many systems block

Re: Packaging mathjax and other javascript libraries

2017-05-26 Thread Ricardo Wurmus
Arun Isaac writes: > A couple of days back, I submitted a patch packaging mathjax. My > conversations with Brendan there raised some more general questions. So, > I'm posting here for wider visibility. > > https://debbugs.gnu.org/cgi/bugreport.cgi?bug=27049 > > The

Re: Trouble with DHCP and GuixSD in a VM

2017-05-26 Thread Jan Nieuwenhuizen
Peter Baumgarten writes: > I am following along with the steps to get GuixSD installed in a VM here > https://www.gnu.org/software/guix/ > manual/guix.html#Installing-GuixSD-in-a-VM and I am stuck on getting the VM > to have internet access. It is able > to get an ip address but pinging gnu.org