Where is the best place to download texlive-20170524-extra.tar.xz ?

Where is the best place to download texlive-20170524-extra.tar.xz ?

[Brian Woodcox]

While installing guilds 0.15.0 I am getting an download failures for this package.

I am using the system init —substitute-urls=“http://berlin.guixsd.org” /mnt/etc/config.scm /mnt command, but I get an error saying that it tried to download the tarball from:

http://mirror.hydra.gnu.org/file/texlive-20170524-extra.tar.xz/….
http://tarballs.nixos.org/sha256/….

and failed for both url’s.

Thanks.

Re: Where is the best place to download texlive-20170524-extra.tar.xz ?

[Brian Woodcox]

Sorry, that should have read “While installing GuixSD 0.15.0”. The auto correct messed it up.

> On Nov 2, 2018, at 11:19 PM, Brian Woodcox <bw@inskydata.com> wrote:
> 
> While installing guilds 0.15.0 I am getting an download failures for this package.
> 
> I am using the system init —substitute-urls=“http://berlin.guixsd.org” /mnt/etc/config.scm /mnt command, but I get an error saying that it tried to download the tarball from:
> 
> http://mirror.hydra.gnu.org/file/texlive-20170524-extra.tar.xz/….
> http://tarballs.nixos.org/sha256/….
> 
> and failed for both url’s.
> 
> Thanks.

Re: Where is the best place to download texlive-20170524-extra.tar.xz ?

[Mark H Weaver]

Hi Brian,

When looking for a file that Guix is trying to download but which is no
longer available at the expected URL, I normally just do a web search
for the file name, in this case "texlive-20170524-extra.tar.xz".  Any
site will do.  It needn't be a site you trust, because Guix always
checks the sha256 hash anyway.

If you "guix download" a file with the right name but the wrong
contents, it will be successfully added to the store, but with the wrong
hash string in the file name in /gnu/store, so nothing will ever use it.
When you attempt to restart the build that failed, it will again try to
download it, because the file it needs is not in the store.  The bogus
file will be deleted the next time to run "guix gc".

I did a web search for this file name, and found this:

ftp://tug.org/texlive/historic/2017/texlive-20170524-extra.tar.xz

      Mark

Re: Where is the best place to download texlive-20170524-extra.tar.xz ?

[Brian Woodcox]

Thanks Mark.

That makes sense.

So I will just use the --no-check-certificate flag since the hash is used for verification in the end anyway.

This is really a nice feature being able to download packages from untrusted sites.

> On Nov 3, 2018, at 12:19 AM, Mark H Weaver <mhw@netris.org> wrote:
> 
> Hi Brian,
> 
> When looking for a file that Guix is trying to download but which is no
> longer available at the expected URL, I normally just do a web search
> for the file name, in this case "texlive-20170524-extra.tar.xz".  Any
> site will do.  It needn't be a site you trust, because Guix always
> checks the sha256 hash anyway.
> 
> If you "guix download" a file with the right name but the wrong
> contents, it will be successfully added to the store, but with the wrong
> hash string in the file name in /gnu/store, so nothing will ever use it.
> When you attempt to restart the build that failed, it will again try to
> download it, because the file it needs is not in the store.  The bogus
> file will be deleted the next time to run "guix gc".
> 
> I did a web search for this file name, and found this:
> 
> ftp://tug.org/texlive/historic/2017/texlive-20170524-extra.tar.xz
> 
>      Mark