bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-21 Thread Ludovic Courtès
Hi, zimoun skribis: > Well, now, I am failing at the Python 3.7.3 step too: > > /gnu/store/s0lw23myd3hvpw28sffkhz8b30x1hcz0-python-minimal-3.7.3.drv failed > > > > However, the python error seems about TLS: > > test.test_asyncio.test_windows_utils (unittest.loader.ModuleSkipped) > ... test

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-21 Thread zimoun
Hi, Some follow ups. For me, now, the command > > $ guix time-machine \ > > --commit=56e95d54d209c2428f970d65d9b27ae4168449ad -- help does not fail anymore at the Guile step: --8<---cut here---start->8--- building

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-19 Thread Jan Nieuwenhuizen
zimoun writes: Hi Simon, > On Fri, 14 Feb 2020 at 14:24, Jan Nieuwenhuizen wrote: > > This command > >> >> $ guix download -o /tmp/harfbuzz-old.tar.bz2 \ >> >> >> >> https://ci.guix.gnu.org/file/harfbuzz-2.4.0.tar.bz2/sha256/1mpah6kwqid1kxsj4rwqsniivqbrx231j65v51yncx6s0dch0dch > > now works.

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-17 Thread zimoun
HI Jan, On Fri, 14 Feb 2020 at 14:24, Jan Nieuwenhuizen wrote: This command > >> $ guix download -o /tmp/harfbuzz-old.tar.bz2 \ > >> > >> https://ci.guix.gnu.org/file/harfbuzz-2.4.0.tar.bz2/sha256/1mpah6kwqid1kxsj4rwqsniivqbrx231j65v51yncx6s0dch0dch now works. However, this command $

bug#28659: bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-17 Thread zimoun
On Mon, 17 Feb 2020 at 15:40, Ludovic Courtès wrote: > Exactly. But like I wrote above, I don’t think it’s a strong argument. I agree and the big picture depends on the audience. Scientific communities would be fine with centralized archives such as SWH. And only centralized archives IMHO can

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-17 Thread Tobias Geerinckx-Rice via Bug reports for GNU Guix
zimoun 写道: You assume that Debian packs packages as fast as Guix Indeed I do! :-D Efraim's solution sounds reasonable. Kind regards, T G-R signature.asc Description: PGP signature

bug#28659: bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-17 Thread Ludovic Courtès
Hi, zimoun skribis: > On Sun, 16 Feb 2020 at 11:59, Ludovic Courtès wrote: >> zimoun skribis: >> > On Fri, 14 Feb 2020 at 22:34, Ludovic Courtès wrote: > >> >> Also, one could argue that we’d steer users towards downloading from our >> >> server, which could be a privacy concern (probably

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-17 Thread Efraim Flashner
On Mon, Feb 17, 2020 at 09:47:41AM +0100, zimoun wrote: > Hi, > > On Sat, 15 Feb 2020 at 21:01, Tobias Geerinckx-Rice wrote: > > > Janneke 写道: > > > https://snapshot.debian.org/archive/debian/20190406T212022Z/pool/main/h/harfbuzz/harfbuzz_2.4.0.orig.tar.bz2 > > > > This is a wonderful resource!

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-17 Thread zimoun
Hi Ludo, On Sun, 16 Feb 2020 at 11:59, Ludovic Courtès wrote: > zimoun skribis: > > On Fri, 14 Feb 2020 at 22:34, Ludovic Courtès wrote: > >> Also, one could argue that we’d steer users towards downloading from our > >> server, which could be a privacy concern (probably not a strong argument

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-17 Thread zimoun
Hi, On Sat, 15 Feb 2020 at 21:01, Tobias Geerinckx-Rice wrote: > Janneke 写道: > > https://snapshot.debian.org/archive/debian/20190406T212022Z/pool/main/h/harfbuzz/harfbuzz_2.4.0.orig.tar.bz2 > > This is a wonderful resource! Thank you, Janneke (and Debian)! > > zimoun 写道: > > Cool! > > But how

bug#28659: bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-16 Thread Ludovic Courtès
Hi! zimoun skribis: > On Fri, 14 Feb 2020 at 22:34, Ludovic Courtès wrote: > >> Also, one could argue that we’d steer users towards downloading from our >> server, which could be a privacy concern (probably not a strong argument >> since one can easily change the substitute URLs.) > > I am not

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-15 Thread Bengt Richter
On +2020-02-15 21:01:36 +0100, Tobias Geerinckx-Rice via Bug reports for GNU Guix wrote: > Jan, Simon, > > Janneke 写道: > > https://snapshot.debian.org/archive/debian/20190406T212022Z/pool/main/h/harfbuzz/harfbuzz_2.4.0.orig.tar.bz2 > > This is a wonderful resource! Thank you, Janneke (and

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-15 Thread Tobias Geerinckx-Rice via Bug reports for GNU Guix
Jan, Simon, Janneke 写道: https://snapshot.debian.org/archive/debian/20190406T212022Z/pool/main/h/harfbuzz/harfbuzz_2.4.0.orig.tar.bz2 This is a wonderful resource! Thank you, Janneke (and Debian)! zimoun 写道: Cool! But how do you determine the "date", i.e., this reference '20190406T212022Z'

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-15 Thread zimoun
Hi, On Fri, 14 Feb 2020 at 14:14, Ludovic Courtès wrote: > Tobias Geerinckx-Rice skribis: > > ~ λ guix download https://www.tobias.gr/guix/harfbuzz-2.4.0.tar.bz2 > > Thanks, you saved us! Thank you! :-) > Anyway, everything will be so much better when SWH archives tarballs! The future will

bug#28659: bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-15 Thread zimoun
Hi, On Fri, 14 Feb 2020 at 22:34, Ludovic Courtès wrote: > Also, one could argue that we’d steer users towards downloading from our > server, which could be a privacy concern (probably not a strong argument > since one can easily change the substitute URLs.) I am not following the privacy

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-15 Thread zimoun
Hi, On Fri, 14 Feb 2020 at 14:51, Ludovic Courtès wrote: > Jan Nieuwenhuizen skribis: > > What about > > > > > > https://snapshot.debian.org/archive/debian/20190406T212022Z/pool/main/h/harfbuzz/harfbuzz_2.4.0.orig.tar.bz2 > > Good idea. Cool! But how do you determine the "date", i.e.,

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-14 Thread Ludovic Courtès
Jan Nieuwenhuizen skribis: > Ludovic Courtès writes: [...] >> The problem here is really that we fall back to content-addressed >> mirrors instead of using them directly: >> >> https://issues.guix.gnu.org/issue/28659 > > Wait, what happened here; you finally proposed a patch two years ago

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-14 Thread Ludovic Courtès
Hi, Jan Nieuwenhuizen skribis: > What about > > > https://snapshot.debian.org/archive/debian/20190406T212022Z/pool/main/h/harfbuzz/harfbuzz_2.4.0.orig.tar.bz2 Good idea. > So, this now becomes the recipe > > wget -O harfbuzz-2.4.0.tar.bz2 >

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-14 Thread Jan Nieuwenhuizen
Ludovic Courtès writes: > Jan Nieuwenhuizen skribis: > >> building >> /gnu/store/cjim33x0q1bv1ppkv3qijvr1pvsn4y0q-harfbuzz-2.4.0.tar.bz2.drv... >> downloading from >> https://www.freedesktop.org/software/harfbuzz/release/harfbuzz-2.4.0.tar.bz2... >> |offloading build of >>

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-14 Thread Jan Nieuwenhuizen
Ludovic Courtès writes: > Hi, > > zimoun skribis: > >> On Thu, 13 Feb 2020 at 22:34, Ludovic Courtès wrote: >>> >>> Hi, >>> >>> Jan Nieuwenhuizen skribis: >>> >>> > building >>> > /gnu/store/cjim33x0q1bv1ppkv3qijvr1pvsn4y0q-harfbuzz-2.4.0.tar.bz2.drv... >>> > downloading from >>> >

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-14 Thread Ludovic Courtès
Hi, Tobias Geerinckx-Rice skribis: > zimoun 写道: >> Maybe I miss a point, but the file we need is the old one, not the >> new >> one, i.e., the one with the expected hash >> 1mpah6kwqid1kxsj4rwqsniivqbrx231j65v51yncx6s0dch0dch. And I should >> do > > ~ λ guix download

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-14 Thread Ludovic Courtès
Hi, zimoun skribis: > On Thu, 13 Feb 2020 at 22:34, Ludovic Courtès wrote: >> >> Hi, >> >> Jan Nieuwenhuizen skribis: >> >> > building >> > /gnu/store/cjim33x0q1bv1ppkv3qijvr1pvsn4y0q-harfbuzz-2.4.0.tar.bz2.drv... >> > downloading from >> >

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-14 Thread zimoun
Hi Giovanni, On Fri, 14 Feb 2020 at 11:07, Giovanni Biscuolo wrote: > Ludovic Courtès writes: > > The problem here is really that we fall back to content-addressed > > mirrors instead of using them directly: > > > > https://issues.guix.gnu.org/issue/28659 > > Given the natute (AFAIU) of this

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-14 Thread zimoun
Hi Ludo, On Thu, 13 Feb 2020 at 22:34, Ludovic Courtès wrote: > > Hi, > > Jan Nieuwenhuizen skribis: > > > building > > /gnu/store/cjim33x0q1bv1ppkv3qijvr1pvsn4y0q-harfbuzz-2.4.0.tar.bz2.drv... > > downloading from > >

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-14 Thread Giovanni Biscuolo
Hello Ludo' Ludovic Courtès writes: [...] > The problem here is really that we fall back to content-addressed > mirrors instead of using them directly: > > https://issues.guix.gnu.org/issue/28659 Given the natute (AFAIU) of this issue is the very same of the bug you mention, shouldn't this

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-13 Thread zimoun
Hi Ludo, On Thu, 13 Feb 2020 at 22:34, Ludovic Courtès wrote: > The problem here is really that we fall back to content-addressed > mirrors instead of using them directly: > > https://issues.guix.gnu.org/issue/28659 Thank you for the pointer. Good to see that the problem is almost addressed.

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-13 Thread Ludovic Courtès
Hi, Jan Nieuwenhuizen skribis: > building > /gnu/store/cjim33x0q1bv1ppkv3qijvr1pvsn4y0q-harfbuzz-2.4.0.tar.bz2.drv... > downloading from > https://www.freedesktop.org/software/harfbuzz/release/harfbuzz-2.4.0.tar.bz2... > |offloading build of >

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-12 Thread zimoun
Hi, On Wed, 12 Feb 2020 at 14:44, Jan Nieuwenhuizen wrote: > Trying to travel back to Sun Apr 7 22:07:14 2019 +0200 (commit > 56e95d54d209c2428f970d65d9b27ae4168449ad) to re-create mcrl2-minimal by > doing > > --8<---cut here---start->8--- > guix

bug#39575: guix time-machine fails when a tarball was modified in-place

2020-02-12 Thread Jan Nieuwenhuizen
Hi, Trying to travel back to Sun Apr 7 22:07:14 2019 +0200 (commit 56e95d54d209c2428f970d65d9b27ae4168449ad) to re-create mcrl2-minimal by doing --8<---cut here---start->8--- guix time-machine --commit=56e95d54d209c2428f970d65d9b27ae4168449ad -- environment