Resource_File

   Pine uses a resource file to keep track of its configuration,
   user preferences, and other information. By customizing the
   option settings in your PINE RESOURCE file, you can customize
   your pine environment to your liking. Generally the best way to
   set or change option settings in your PINE RESOURCE file is from
   within pine, via the CONFIG option of the SETUP submenu accessed
   from pine's main menu. (Context sensitive help is available
   within pine for each such configurable item so you can get hints
   on setting your options.) However, the PINE RESOURCE file is
   a normal text file, so it is also possible to modify the PINE
   RESOURCE file using a text editor.
 

Additional information available:

Location        Format          Dollar_Sign