Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Strange tar file for Caml-Light documentation #6022

Closed
vicuna opened this issue May 28, 2013 · 5 comments
Closed

Strange tar file for Caml-Light documentation #6022

vicuna opened this issue May 28, 2013 · 5 comments
Assignees
@mshinwell
Labels
bug website

Comments

@vicuna
Copy link

vicuna commented May 28, 2013

Original bug ID: 6022
Reporter: @glondu
Assigned to: @mshinwell
Status: resolved (set by @mshinwell on 2016-12-09T07:45:30Z)
Resolution: fixed
Priority: normal
Severity: minor
Target version: later
Category: web site
Related to: #5381

Bug description

On http://caml.inria.fr/download.en.html, there is a link to:

http://caml.inria.fr/pub/distrib/caml-light-0.74//cl74refman.html.tar.gz

This file is somehow corrupted.

Steps to reproduce

When I try to untar it using GNU tar, I get:

glondu@wencory:/tmp/toto$ tar xf cl74refman.html.tar.gz
tar: This does not look like a tar archive
tar: Skipping to next header
tar: Exiting with failure status due to previous errors

Additional information

However, when I explicitly do gunzip followed by tar, I get something that seems to be the intended documentation.
@vicuna
Copy link
Author

vicuna commented May 28, 2013

Comment author: @glondu

I figured it out: the file is actually a .tar.gz.gz (doubly gzip-compressed).

@vicuna
Copy link
Author

vicuna commented Jun 3, 2013

Comment author: @damiendoligez

On our server, it is stored as a normally-compressed tar file, so it must be the web server that recompresses it for transmission. This will need further investigation.

@vicuna
Copy link
Author

vicuna commented Jun 3, 2013

Comment author: @protz

We had the same problem for the original manual, which had to be renamed. We never got around to figuring the right Apache magical incantation to make sure the server doesn't recompress it.

@vicuna
Copy link
Author

vicuna commented Dec 16, 2013

Comment author: @damiendoligez

I remember now: it's the ".html" part that makes Apache misbehave.
The solution is to rename the file to "cl74refman-html.tar.gz" and to patch all the links pointing to it.

@vicuna
Copy link
Author

vicuna commented Dec 9, 2016

Comment author: @mshinwell

I just tried downloading that file using curl on OS X and wget on Linux, followed by untarring them using the OS X tar and GNU tar respectively, and there was no problem. Closing.

@vicuna vicuna closed this as completed Dec 9, 2016
@vicuna vicuna added the website label Mar 14, 2019
@vicuna vicuna mentioned this issue Dec 11, 2015
Closed
@vicuna vicuna added the bug label Mar 20, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mshinwell mshinwell

Labels
bug website
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mshinwell @vicuna