OK this would seem simple enough, but...
I tried editing my .pluckerrc file with the new info and when i start plucker again, it reverts to the old .pluckerrc file.
How do I change the .pluckerrc file?
One option is that you have the Desktop still running. Turn it off, and edit the .pluckerrc.
The reason is that the config file is kept in memory internally, and writes the internal memory state when it exits.
Best wishes, Robert
_______________________________________________ plucker-list mailing list [EMAIL PROTECTED] http://lists.rubberchicken.org/mailman/listinfo/plucker-list

