Subject: Simple quick question....

From: Ed Greshko <[email-masked]>
Date: Mon, 11 Oct 1993 21:41:10 +0800 (TPE)

...that I should know the answer....

	How does one change the location of the system wide config file
from /usr/local/lib/pine.conf to something else?

Edward M. Greshko			Control Data Taiwan
Voice: +886-2-715-2222 x287		6/F, 131 Nanking East Road, Section 3
FAX  : +886-2-712-9197			Taipei, Taiwan R.O.C

---

From: Steve Hubert <[email-masked]>
Date: Mon, 11 Oct 1993 09:40:09 -0700 (PDT)

There is a macro SYSTEM_PINERC in the pine/osdep/os-xxx.h file that is 
set to the name of the file (if you want to change it for everyone).  If 
you are talking about just changing it for a single user there is a -P 
<file> command line arg to do that.

Steve Hubert <[email-masked]>
Networks and Distributed Computing, Univ. of Washington, Seattle