The two versions of The WDVL, public and development, are located on
the same Unix server. When mirroring is done, the files are copied
from one directory to the other. This makes it possible for one Unix shell script,
mirror.sh, to handle all of the tasks.
From the top level of the development directory,
mirror.sh
If all goes will, this script will copy the changed files to the
public server and re-ht them. The program may stop before this
is done because:
There are no new files to copy over. If the only changed files
were still under development, nothing needs to be mirrored and
the script will end gracefully.
Broken links were found. The file broken.html will need to
be checked. Some links may be listed because of timeouts or
re-directs, these are okay and can be left. If a link is truely
broken, the calling page must be modified before mirroring can
continue. When ready, the script mirror2.sh is called,
as it would have been called by the mirror.sh script if
no errors had been found.
