Subject: Dump of pinerc

From: [email-masked]
Date: 21 Feb 1997 11:35:51 EST

[This message has also been posted to Usenet]

Another query:

Is there a documented/undocumented way to get a running Pine session to create
a dump of the pinerc file it is operating under.

Would be useful if say, I deleted my $HOME/.pinerc and still had a Pine
session running, luckily. All I have to do is get Pine to re-create the
.pinerc it is running under.

Thanks,
--Vikas

---

From: [email-masked]
Date: 21 Feb 1997 15:36:48 EST

[This message has also been posted to Usenet]
On 21 Feb 1997 12:54:15 -0500, Robert Miles <[email-masked]> wrote:
>In article <[email-masked]>,
> <[email-masked]> wrote:

>Why don't you copy .pinerc under another name, start pine, delete .pinerc,
>and see if this works?  If it does, you might try again to see if going
>into setup config without changing a value is enough.  And then let us
>know what happened.

Excellent idea. I never thought of that. Oh well.. Blame it on Friday.. ;-)

Yes, Pine *does* create a new .pinerc if one does not exist. Just
entering/leaving setup/config is *not* enough. You have to make a actual
change and of course, answer Yes to the 'Save changes?' prompt.

But here is what I did..I deleted my $HOME/.pinerc  I just went down to one of
the features in the feature-list and hit 'Enter' *twice*. This toggled it
twice, thus keeping it the same ! This time, Pine *did* think that something
had changed and so it prompted me to 'Save changes?' and when I replied 'Y',
it *created* a new .pinerc

Thanks a lot,
--Vikas

---

From: [email-masked] (Robert Miles)
Date: 21 Feb 1997 12:54:15 -0500

>a dump of the pinerc file it is operating under.

I'd expect Pine to write a new .pinerc file if you go into setup config
and change a value - any value - and then shut down Pine.  Of course, you
then have to remember what you changed so you can change it back.

---

From: Animal <[email-masked]>
Date: Sat, 22 Feb 1997 05:53:59 -0700

On 21 Feb 1997 [email-masked] wrote:

|Is there a documented/undocumented way to get a running Pine session to create
|a dump of the pinerc file it is operating under.
|
|Would be useful if say, I deleted my $HOME/.pinerc and still had a Pine
|session running, luckily. All I have to do is get Pine to re-create the
|.pinerc it is running under.
|

Choose "setup/configure" from pine main menu, then change one setting.
When you exit configuration it will ask if you want to save changes.
Answering "yes" will write new .pinerc with options you had set plus the
one change you made.

=============================================
= [email-masked] * http://mclv.net/animal/ =
=============================================

There are those who would have us believe that if we surrender 
enough of our civil rights that crime could be drastically
reduced. Even if this ridiculous assumption were true the loss 
of personal freedom is _not_ an acceptable trade-off.