Le Fri, 26 Jul 2019 00:54:32 +0200, Ludovic Courtès a écrit : > Hi, > > Julien Lepiller skribis: > > > Hi guix, it seems that the devel version of the manual is not > > regenerated as intended. The website says that it's still from July > > 18th. > > Indeed it fails like this: > > --8<---------------cut here---------------start------------->8--- > ludo@berlin ~$ sudo su - static-web-site > -c /gnu/store/9w4bbd6gqya2g9zvwgs6qab6aqgbjbd3-update-guix-manual-devel > Backtrace: 7 (primitive-load > "/gnu/store/9w4bbd6gqya2g9zvwgs6qab6aqg…") In ice-9/eval.scm: > 619:8 6 (_ #f) > 626:19 5 (_ #) > In unknown file: > 4 (_ # #<…> > …) In guix/git.scm: > 240:29 3 (update-cached-checkout "https://git.sv.gnu.org/git/gu…" > …) In ice-9/boot-9.scm: > 841:4 2 (with-throw-handler _ _ _) > In git/clone.scm: > 41:8 1 (_ _ _ _) > In ice-9/boot-9.scm: > 752:25 0 (dispatch-exception _ _ _) > > ice-9/boot-9.scm:752:25: In procedure dispatch-exception: > Git error: cross host redirect not allowed > --8<---------------cut here---------------end--------------->8--- > > So I think we have to change the repo URL in berlin.scm. > > Ludo’. One way I can see to solve that issue is to specify a custome cache directory name, instead of the default one, which is a hash of the url. The reason why we use git.sv.gnu.org instead of git.savannah.gnu.org is that otherwise both repos have the same cache directory, so one wins over the other. But that hack doesn't scale if we want to generate more than two manual versions. Attached is a patch that adds a cache-directory field to the static-website-configuration record. Another solution is to fix (guix git) to also add the ref as part of the hash, so the cache directory is different for two different branches of the same repository.