[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