bug#58149: guix pull error

[Ludovic Courtès]

Hi,

Matthieu Haefele <matthieu.haefele@cnrs.fr> 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/r658y3cgpnf99nxjxqgjiaizx20ac4k0-guile-2.2.4)
>>
>> This is going to take a while though…
>>
>> I’m sorry this upgrade turns out to be so painful.  We know what to work
>> on next.
>>
> Problems at fetching the kernel sources apparently...
>
> (base) mhaefele@mdlspc113:m2-mms-hpc (master)*$ guix build --no-substitutes \
>>     $(guix gc --derivers 
>>/gnu/store/r658y3cgpnf99nxjxqgjiaizx20ac4k0-guile-2.2.4)
> The following derivations will be built:
>   /gnu/store/16c8c8hm1qdn6xz8014939mirc7c4d4j-guile-2.2.4.drv
>   /gnu/store/06pscnfdljxnyb673pqyhnvz1x5rjl1l-libgc-7.6.6.drv
> /gnu/store/4k028mc8dnnx478dirgx90rpby465jqr-ld-wrapper-boot3-0.drv
>   /gnu/store/agrwc0hhkxjb96z66nb6hakimb4a2vg3-module-import.drv

[...]

> Starting download of 
> /gnu/store/f2j6pi0d18pbz35ypflp61wzhbfcr8dp-linux-libre-4.14.67-gnu.tar.xz
> From 
> https://linux-libre.fsfla.org/pub/linux-libre/releases/4.14.67-gnu/linux-libre-4.14.67-gnu.tar.xz...
> download failed 
> "https://linux-libre.fsfla.org/pub/linux-libre/releases/4.14.67-gnu/linux-libre-4.14.67-gnu.tar.xz";
>  404 "Not Found"

[...]

> Starting download of 
> /gnu/store/f2j6pi0d18pbz35ypflp61wzhbfcr8dp-linux-libre-4.14.67-gnu.tar.xz
> From 
> https://mirror.hydra.gnu.org/file/linux-libre-4.14.67-gnu.tar.xz/sha256/050zvdxjy6sc64q75pr1gxsmh49chwav2pwxz8xlif39bvahnrpg...
> In procedure connect: Network is unreachable

You can fetch it with:

  wget -O linux-libre-4.14.67-gnu.tar.xz \
       
https://ci.guix.gnu.org/file/linux-libre-4.14.67-gnu.tar.xz/sha256/050zvdxjy6sc64q75pr1gxsmh49chwav2pwxz8xlif39bvahnrpg
  guix download file://$PWD/linux-libre-4.14.67-gnu.tar.xz

Let’s see if you can proceed from there.

At any rate, it’s a good lesson for us developers, so thanks for
persevering.

Ludo’.