Karl Berry <[email protected]> writes:

> Hi Collin,
>
>     An easier way, if you only require a few files and/or cannot remember
>     that git invocation 
>
> Well, whatever the invocation is has to be in a script/Makefile in any
> case to be used repeatedly, so it's not a matter of remembering it. I
> certainly didn't have it memorized, I copied that bit of shell from my
> script that does it.

True. I have seen very outdated texinfo.tex files (e.g. earlier than
2010), though, so some people might just run it once and forget until a
bug pops up. Of course, I like your solution better.

>     is to fetch them using wget or curl.
>
> Except, as you know, using wget/curl with savannah to retrieve files
> adds to the load on savannah web servers, which are already continously
> overstressed. Thus it is better to use other methods, in the sense of
> doing something which will work for everyone, instead of being
> (sometimes) the most convenient for an individual.  Categorical
> imperative and all that.
>
> As for github ... it just feels weird to me to rely on github for free
> software projects. Just MHO. -k

I agree regarding GitHub, but for this purpose it doesn't seem too bad.
The link I shared is the file itself, so it doesn't require non-free
JavaScript like the rest of the site. And Microsoft is paying for the
tiny amount of egress instead of the FSF. :)

Collin



Reply via email to