Subject: Choosing a Printer

From: Francois Donze <[email-masked]>
Date: Wed, 3 Mar 1993 12:55:23 +0100 (French Winter)

I am using two different printers according to the type of doc to print:
  desk printer for small doc
  Printer server for double side printing ....

What is the easiest way to change from one printer to the other?

Right now, I quit pine, edit .pinerc, modify the printer value and
enter pine again and print. Is there an easier way?

/francois 
------------------------------------------------------------------------------
Digital Equipment SARL		|			   |
950 Route des Colles - BP 027	|      Francois Donze	   |
06901 SOPHIA ANTIPOLIS		|--------------------------|francois donze@VBO
	FRANCE			|			   |  ULYSSE::DONZE
 Tel: (33) 92.95.54.81 		|E-mail: [email-masked] |  DTN: 828-5481
 Fax: (33) 92.95.62.34		|			   |
------------------------------------------------------------------------------

---

From: Laurence Lundblade <[email-masked]>
Date: Wed, 3 Mar 1993 10:43:55 -0500 (EST)

On the Other menu off the main screen there's an item to set the printer. When
you change it there it rewrites the .pinerc file.

LL