bug#58149: guix pull error

2022-10-06 Thread Matthieu Haefele
Hi, Le 06/10/2022 à 15:56, zimoun a écrit : Well, what do you think that could be helpful? Personally, when I installed  guix for the first time, I had very few clues on what it was, how it was working and I guess that's the case for most people following the "installation" section of the doc

bug#58149: guix pull error

2022-10-06 Thread Matthieu Haefele
Le 06/10/2022 à 12:30, zimoun a écrit : On Thu, 6 Oct 2022 at 12:10, Matthieu Haefele wrote: 1. What am I doing wrong to have stuck to this old guix daemon all this time ? Shall I run this `sudo -i guix pull` regularly to keep my daemon up to date ? But then it looks like I am the only one

bug#58149: guix pull error

2022-10-06 Thread Matthieu Haefele
Le 06/10/2022 à 12:57, Maxime Devos a écrit : On 06-10-2022 12:10, Matthieu Haefele wrote: 1. What am I doing wrong to have stuck to this old guix daemon all this time ? Shall I run this `sudo -i guix pull` regularly to keep my daemon up to date ? But then it looks like I am the only one who

bug#58149: guix pull error

2022-10-06 Thread Matthieu Haefele
Hi, Le 06/10/2022 à 10:47, Ludovic Courtès a écrit : Hi, Matthieu Haefele skribis: sudo -i guix package -r guix -i \ /gnu/store/n8vdar2f60mvq62g7mngpqwykbm9rw1q-guix-1.2.0rc2-1.0d4b1af I am getting an error when trying to remove the guix package as it is not part of the profile

bug#58149: guix pull error

2022-10-05 Thread Matthieu Haefele
Le 05/10/2022 à 17:02, zimoun a écrit : Hi Matthieu, On Wed, 5 Oct 2022 at 12:48, Matthieu Haefele wrote: sudo -i guix package -r guix -i \ /gnu/store/n8vdar2f60mvq62g7mngpqwykbm9rw1q-guix-1.2.0rc2-1.0d4b1af I am getting an error when trying to remove the guix package as it is

bug#58149: guix pull error

2022-10-05 Thread Matthieu Haefele
Sorry I overlooked your last answer Le 05/10/2022 à 11:34, Ludovic Courtès a écrit : collect2: error: ld returned 1 exit status make[2]: *** [../../gcc-5.5.0/gcc/c/Make-lang.in:71: cc1] Error 1 I don’t see an error message in the snippet you pasted. Could it be OOM, or was there a clue in /v

bug#58149: guix pull error

2022-10-05 Thread Matthieu Haefele
Hi Ludo, Still lzip missing... Sorry for bothering so much... Le 05/10/2022 à 11:34, Ludovic Courtès a écrit : Hi Matthieu, I figured there’s an easier option: guix build \ /gnu/store/n8vdar2f60mvq62g7mngpqwykbm9rw1q-guix-1.2.0rc2-1.0d4b1af ok, it goes throug with substitution.

bug#58149: guix pull error

2022-10-05 Thread Matthieu Haefele
It looks like it is not installing what has been built just before and thus try to install it with substitute that are compressed with lzip, right ? Le 05/10/2022 à 12:47, Matthieu Haefele a écrit : Hi Ludo, Still lzip missing... Sorry for bothering so much... Le 05/10/2022 à 11:34, Ludovic

bug#58149: guix pull error

2022-10-04 Thread Matthieu Haefele
Hi, Le 04/10/2022 à 12:11, Ludovic Courtès a écrit : Matthieu Haefele skribis: Le 03/10/2022 à 16:03, Ludovic Courtès a écrit : [...] You should be able to get around it by first building things locally: guix build --no-substitutes \ $(guix gc --derivers /gnu/store

bug#58149: guix pull error

2022-10-03 Thread Matthieu Haefele
Le 03/10/2022 à 16:03, Ludovic Courtès a écrit : Matthieu Haefele skribis: So you’re right, we have to go a bit further back in time! Apparently v1.2.0 will do, so: guix pull --commit=a099685659b4bfa6b3218f84953cbb7ff9e88063 Not better unfortunately... (base) mhaefele@mdlspc113:ksp

bug#58149: guix pull error

2022-10-03 Thread Matthieu Haefele
Hi, Le 03/10/2022 à 11:17, Ludovic Courtès a écrit : Matthieu Haefele skribis: I would suggest doing a two-step upgrade; first upgrade to 1.3.0: sudo -i guix pull --commit=a0178d34f582b50e9bdbb0403943129ae5b560ff Are you sure this commit is old enough ? I still get the same error. By

bug#58149: guix pull error

2022-09-30 Thread Matthieu Haefele
Le 29/09/2022 à 19:55, Maxime Devos a écrit : On 29-09-2022 17:35, Matthieu Haefele wrote: (base) mhaefele@mdlspc113:work $  /var/guix/profiles/per-user/root/current-guix/bin/guix-daemon --version guix-daemon (GNU Guix) 1.0.1 Updating the daemon triggers the same error

bug#58149: guix pull error

2022-09-30 Thread Matthieu Haefele
Hi, Le 30/09/2022 à 09:59, Ludovic Courtès a écrit : Matthieu Haefele skribis: (base) mhaefele@mdlspc113:work $ /var/guix/profiles/per-user/root/current-guix/bin/guix-daemon --version guix-daemon (GNU Guix) 1.0.1 It’s indeed a pre-lzip version¹. Normally, ‘guix’ commands have been

bug#58149: guix pull error

2022-09-29 Thread Matthieu Haefele
Hi Ludo, Le 29/09/2022 à 15:37, Ludovic Courtès a écrit : guix/ui.scm:1747:12: In procedure run-guix-command: unsupported compression scheme lzip Matthieu, how did you install guix-daemon? The daemon provided in the binary installation tarball at has suppor

bug#58149: guix pull error

2022-09-29 Thread Matthieu Haefele
Le 29/09/2022 à 17:15, Ludovic Courtès a écrit : Hi, Matthieu Haefele skribis: Well, I installed guix on my laptop (with ubuntu) the very standard way described on guix website. It was back in January 2020. OK. Lzip support was added sometime in 2019: <https://guix.gnu.org/en/blog/2

bug#58149: guix pull error

2022-09-28 Thread Matthieu Haefele
Dear guix developer, Issuing the following command, it failed. ## (base) mhaefele@mdlspc113:work $ guix pull Updating channel 'guix-hpc-non-free' from Git repository at 'https://gitlab.inria.fr/guix-hpc/guix-hpc-non-free.git'... Updating channel 'guix-hpc' from Git reposito