[plt-dev] Push #20327: The DrDr now makes house calls

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Tue May 25 17:04:21 EDT 2010

If you are using Git and want to test a change against the whole
repository in the same way DrDr does, run:

racket -t $RACKET_HOME/collects/meta/drdr/house-call.ss -- -j $CPUS

It should run for about 10 minutes, sending an immense amount of
information to the screen, eventually producing a list of files that
had "problems". If you put any of these back on the command-line:

racket -t $RACKET_HOME/collects/meta/drdr/house-call.ss -- -j $CPUS file

It will show the log of when it ran 'file'.

The DrDr keeps its house call records in $RACKET_HOME/house-calls
indexed by Julian date. It is always safe to delete this whole
directory. If a record is in this directory, then DrDr won't check it
again until the next day.

It runs exactly as it would on the real DrDr server, except no GUI
files are run if your system-type is not 'unix and it relies on Xvfb
and fluxbox to run a sandbox X11 server.

Jay

-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93


Posted on the dev mailing list.