The Plucker directory ($PLUCKERDIR) is the current working
directory, while Plucker Home is like your home directory. They can
be the same directory and the default behavior is that the Plucker
directory is set to the same as Plucker Home (default for Plucker
Home is $HOME/.plucker, but you can change this by using
the environment variable $PLUCKERHOME). plucker:/XXX
files are first searched in $PLUCKERDIR then Plucker Home
and any configuration files in the $PLUCKERDIR take precedence
over those in the Plucker Home.
The location of Plucker Home can be changed using the -P
or --pluckerhome option and the location of
the Plucker directory can be changed using the -p
or --pluckerdir option,
% Spider.py -P . -H plucker:/test.html -f TestDB
would use the current directory as Plucker Home and the file test.html should also be in this directory.