Query: plucker-dump
OS: debian
Section: 1
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
PLUCKER-DUMP(1) General Commands Manual PLUCKER-DUMP(1)NAMEplucker-dump - dumps a Plucker documentSYNOPSISplucker-dump [-h] [-v] [-c cachedir] dbfileDESCRIPTIONplucker-dump dumps a Plucker document back into the cachedir directory. WARNING: THE CACHE DIRECTORY GETS ERASED !!! You have been warned.OPTIONS-h display usage information and exit -v output version information and exit -c cachedir use the specified cachedir instead of the default ($PLUCKERDIR/cache)SEE ALSOplucker-decode(1)AUTHORHolger Duerer <holly@starship.python.net> (man page by Michael Nordstrom, <micke@sslug.dk>) Report bugs to http://bugs.plkr.org or <plucker-bugs@rubberchicken.org> Plucker 1.1 - http://plkr.org/ PLUCKER-DUMP(1)