Post Tuesday, 6th March 2012, 04:20

How to reset options file?

Good day,

My online options file (/dgldir/rcfiles/crawl-0.10/myname.rc) seems to be totally blank for some reason. I want to reset my options file to the default settings, and tried to do so via the Advanced options->Reset options menu, but nothing changes.

Can somebody please tell me how to reset my online options file?

Also, is it possible to set a particular version of crawl to point to the options file of a different version of crawl on the crawl server? For example, the options file for crawl 0.10 points to /dgldir/rcfiles/crawl-0.9/myname.rc, etc.

Thank you in advance for your help.