Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Isabelle2021-RC1/2: broken tar balls for L...


view this post on Zulip Email Gateway (Jan 12 2021 at 10:04):

From: Manuel Eberl <eberlm@in.tum.de>
I'm getting some strange errors when trying to extract the tar balls for
RC1 and RC2 on Linux:

For RC1 I get this:

tar: Skipping to next header
tar: Exiting with failure status due to previous errors

And for RC2 this:

tar: Skipping to next header
tar: Substituting `.' for empty member name
tar: .: Unknown file type '�', extracted as normal file
tar: .: Cannot open: File exists
tar: Skipping to next header
tar: A lone zero block at 2232786
tar: Exiting with failure status due to previous errors

When opening the archives with file-roller, they look incomplete to me
as well: I don't see a "bin" directory in there, for example.

No idea what is going on here. Any chance the Linux tar balls on the web
site are corrupt?

Here are some check sums to compare:

sha256sum:
d4a8cb2efdea75a3ade50ee60809a5b6784312afed6fbc69c3bfc2cbaf1c8689
Isabelle2021-RC1_linux.tar.gz
35ae65df3dac03c88256b0d9c48191ab404f879a191c6e9a5e6747fdee88265c
Isabelle2021-RC2_linux.tar.gz

md5sum:
bd6ac8f1ed47237774b06d6a6fb0087c Isabelle2021-RC1_linux.tar.gz
b23503100adff53b1187bb2d24500cb0 Isabelle2021-RC2_linux.tar.gz

Manuel
smime.p7s

view this post on Zulip Email Gateway (Jan 12 2021 at 12:40):

From: Makarius <makarius@sketis.net>
Note that the official sha256sum results are on
https://isabelle.in.tum.de/website-Isabelle2021-RC2/dist/index.html

My impression is that the webserver at TUM is in a bad state (again), but the
content of the underlying file-system looks good.

I will tell the local admins.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Jan 13 2021 at 08:40):

From: Manuel Eberl <eberlm@in.tum.de>
Indeed, that seems to have been the issue. Earlier the server was down
completely for a while.

Would it be possible to mirror the RCs onto the other servers as well,
as is done for the rest of the website?

Manuel
smime.p7s

view this post on Zulip Email Gateway (Jan 13 2021 at 08:53):

From: Makarius <makarius@sketis.net>
On 12/01/2021 19:47, Manuel Eberl wrote:

Indeed, that seems to have been the issue. Earlier the server was down
completely for a while.

This was due to local reboot/repairs on the server at TUM: both the hardware
and the virtual machine.

The admins told me that the whole setup will be migrated to a new VM
environment, which is expected to be more reliable.

Would it be possible to mirror the RCs onto the other servers as well,
as is done for the rest of the website?

Mirroring the Isabelle website usually requires extra email communication and
1-3 days until the content has been stabilized: it is an awkward process at
the end of the release process.

I would rather put the RC websites on my own server space next time (e.g.
isabelle.sketis.net). Self-hosting means I only have to agree with myself how
things are done. The provider behind that proved rock-solid so far: Netcup
GmbH in Kaiserslautern.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 10:08 UTC