This directory contains a grab-bag of small scripts and other tools that members of the PIA group have found useful during the development process. In some cases it is expected that a script will be sucked into an e-mail message, edited, and sent to the relevant developers rather than used directly.
Please put a short description in a comment at the front of each script.
The reason for having this directory is so that people don't have to go rummaging around in their e-mail archives to find out how to fix up a directory tree after moving its CVS archive, or similar rarely-performed actions.
cvs export
command. Don't do that!
"-//W3C//DTD HTML 4.0 Transitional//EN"
crc.*
to
org.risource.*
umask
setting of 200.
.xh
files with
an appropriate <make...> element, so as not to have DTD's that we
can't verify against in the original files.
files-with-holes
except that it displays the lines
instead of just the filenames.
find
command. Used
for the PIA top-level index.
History
agent data files from their previous
location to the current one.
fix-package-names
grep
through files expected to contain text.
Name Last modified Size Description
Parent Directory - move-java-makefiles 2012-04-01 16:18 258 x-lc 2012-04-01 16:18 312 fix-package-names 2012-04-01 16:18 320 rgrep 2012-04-01 16:18 332 cvs-move-directory 2012-04-01 16:18 339 fix-permissions 2012-04-01 16:18 340 hole-report 2012-04-01 16:18 379 files-containing 2012-04-01 16:18 402 files-not-containing 2012-04-01 16:18 403 files-with-holes 2012-04-01 16:18 409 fix-document-types 2012-04-01 16:18 528 fix-xh-doctypes 2012-04-01 16:18 555 fix-cvs-ids 2012-04-01 16:18 568 fix-rsv 2012-04-01 16:18 685 fix-silicon-valley 2012-04-01 16:18 714 move-history-data 2012-04-01 16:18 866 index-dirs.pl 2012-04-01 16:18 3.6K woad-index.pl 2012-04-01 16:18 34K