bug#42002: Bug: Signal kill during build

2020-06-22 Thread Léon Lain Delysid
ries instead of building everything myself? Could you please give me the command? On Mon, Jun 22, 2020, 14:47 Efraim Flashner wrote: > On Mon, Jun 22, 2020 at 02:28:33PM +0200, Léon Lain Delysid wrote: > > Hello! I'm having a problem on a Banana Pi M3 that runs Debian 10 Buster

bug#42002: Bug: Signal kill during build

2020-06-22 Thread Léon Lain Delysid
Hello! I'm having a problem on a Banana Pi M3 that runs Debian 10 Buster (ARM like instruction set). "guix pull" always results in failure with this message: building /gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv... 76% [###

bug#41710: Possibly found a bug while doing a "guix pull"

2020-06-12 Thread Léon Lain Delysid
ed by itself. That's a pretty violent crash. On Wed, Jun 10, 2020, 15:25 Ludovic Courtès wrote: > Hello, > > Danny Milosavljevic skribis: > > > On Mon, 8 Jun 2020 01:15:46 +0200 > > Léon Lain Delysid wrote: > > > >>or > >> if my syste

bug#41710: Possibly found a bug while doing a "guix pull"

2020-06-07 Thread Léon Lain Delysid
ed. Maybe one day I will find out why my system crashed and rebooted by itself a minute later. After all, it could have been caused by something else on my system at that moment… Have a good day! =) On Sun, Jun 7, 2020 at 10:06 PM Ludovic Courtès wrote: > Hi Léon, > > Léon Lain Delysi

bug#41710: Possibly found a bug while doing a "guix pull"

2020-06-04 Thread Léon Lain Delysid
Hello! I just tried to "guix pull" on my Debian Buster GNU/Linux system. Twice it made the system completely freeze for a few seconds and then reboot. And that third time it didn't crash the system but the guix pull failed and returned this error: https://pastebin.com/vhDR8gDC Can somebody help me

bug#41549: ! Can't ping ci.guix.gnu.org anymore

2020-05-26 Thread Léon Lain Delysid
Thanks a lot guys! I'm now running the command again and it seems to be working fine. Thumbs up! Good night (or day) to you! PS: By the way, I made a pastebin of the error I got: https://pastebin.com/rmH0Z1ry It said I might have found a bug and lots of other stuff, I don't know if this will help

bug#41549: ! Can't ping ci.guix.gnu.org anymore

2020-05-26 Thread Léon Lain Delysid
Hello to whichever free human being out there! =) While executing a "guix pull", I got network errors. Turns out ci.guix.gnu.org does not respond to ping requests anymore from where I'm connecting (be it my home connection in Lyon France, my VPN tunnel's end in Sweden, or my dedicated server in Pa