Files
wget/util
2018-01-14 11:24:43 +01:00
..
2017-05-15 15:46:11 +02:00
2009-01-23 22:09:48 +01:00
2018-01-14 11:24:43 +01:00
2018-01-14 11:24:43 +01:00
2018-01-14 11:24:43 +01:00
2014-06-12 18:49:14 +02:00

                                                           -*- text -*-

This directory contains various optional utilities to help you use
Wget.

rmold.pl
========
This Perl script is used to check which local files are no longer on
the remote server.  You can use it to get the list of files, or
$ rmold.pl [dir] | xargs rm

trunc
=====
This small program may be used to create files of arbitrary size; useful
for testing certain scenarios using wget's --continue option.