[tex-live] catalogue.tpm?
Juergen Fenn
juergen.fenn at GMX.DE
Tue Apr 10 12:24:04 CEST 2007
Reinhard Kotucha <reinhard.kotucha at web.de> writes:
> Maybe you can save a lot of time if you switch to a program which only
> downloads files which had been changed on the server. 'wget' has some
> options which allows you to mirror a remote directory to your local
> machine and 'rsync' is designed exactly for this purpose.
Thanks for the hint to wget, I wasn't aware that there is an option
for mirroring remote directories with wget. I'll give it a try. :-)
Regards,
Jürgen.
More information about the tex-live
mailing list