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.
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
