Keywords: Plucker_Doc

Next: 4.2.6 Image handling Up: 4.2 Invoking the parser Previous: 4.2.4 How deep should Contents Index

## 4.2.5 Plucker Home and the Plucker Directory

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.

Next: 4.2.6 Image handling Up: 4.2 Invoking the parser Previous: 4.2.4 How deep should Contents Index