Malconnected machines & guix pull

[Marco van Zwetselaar]

All,

Is there a way to do a 'guix pull' from an internet-disconnected machine?

I can tell it to fetch master.tar.gz from file:

$ guix pull --url=file:///tmp/master.tar.gz
unpacking 
'/gnu/store/d6x5rcb58fqfsyhr08v65bii1pfm7jz1-guix-latest.tar.gz'...
The following derivations will be built:
   /gnu/store/z6lxp83lkk6ba719i4c0x3rv087kgjkk-guix-latest.drv
   /gnu/store/vx592ns1hk7xs038c1h5kjnzlb7cxzyw-module-import.drv
/gnu/store/4p141cjhz9wfkgi3gi5nk11d5f0jpplg-module-import-compiled.drv
The following files will be downloaded:
   /gnu/store/fmxxkrpwajcnb9cyncgh4f4z6ybknl1g-guile-2.0.11
   ...

But then off it goes again looking for substitutes from hydra. Guix pull 
offers neither --no-substitutes nor --substitute-urls.

In fact, what I am really looking for is a --substitute-urls option for 
'guix pull', or a way to separate the pull and the subsequent build, so 
that I can make it connect to a 'guix publish'-ing server.

Context: internet connectivity at my research institute (in Kilimanjaro, 
Tanzania) is often such that I need to restart a guix pull four or five 
times. Multiply that by 6 machines and you see why I'm good friends with 
guix publish ;-)

Cheers
Marco