Michael C. Irons wrote:

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

Reply via email to