Phil Scarratt wrote:
Surely there are tools out there to do this, but if not, wouldn't a
script that did the following work:
1. Obtained a list of contents of the upstream repository
Good thinking 99, I think wget has a "spider" mode
2. Compare that list to the local contents
3. Wget anything not in the local contents list
4. rm anything not in the upstream repository
Fil
--
Howard.
LANNet Computing Associates - Your Linux people <http://lannet.com.au>
--
When you just want a system that works, you choose Linux;
When you want a system that works, just, you choose Microsoft.
--
Flatter government, not fatter government;
Get rid of the Australian states.
--
SLUG - Sydney Linux User's Group Mailing List - http://slug.org.au/
Subscription info and FAQs: http://slug.org.au/faq/mailinglists.html
