Configuration Directory
When you quit Jpgfdraw, the current settings will be saved in Jpgfdraw's configuration directory.3.2 This directory is determined (and created if necessary) as follows:
- If the environment variable JDRSETTINGS exists
and is a directory, that directory is used.
- If the directory <home>/.jpgfdraw exists
and is a directory, that directory is used (where
<home> indicates the user's home directory as given
by the Java user.home property).
- If the directory <home>/jpgfdraw-settings exists
and is a directory, that directory is used (where
<home> indicates the user's home directory as given
by the Java user.home property).
- If the operating system is a version of Windows and the
directory <home>/jpgfdraw-settings can be
created, that directory is used.
- For other operating systems, if the directory
<home>/.jpgfdraw can be created, that
directory is used.
- If the directory settings/<user> or
settings can be created in Jpgfdraw's
installation directory, that directory will be used
(where <user> is the current user's user name).
- If none of the above, an error will occur and you will need to set the environment variable JDRSETTINGS to a sensible location with read/write permission.
The configuration directory may also contain the list of recent files (this file is created by Jpgfdraw) as well as the LaTeX font mappings (which you can create in any text editor). For more information on the font mappings, see Font Family.
In addition, the configuration directory is used to save the log file, jpgfdraw.log, in the event that F10 is used (or Debug->Write Log if the command line option -debug is used). The emergency save all function F11 (or Debug->Dump All if the command line option -debug is used) will create a subdirectory (using the current date and time to construct the name) and will save all open images to that directory with filenames of the form image<n>.jdr.
Footnotes
- ... directory.3.2
- unless you have selected the use current settings option in the Startup Settings panel, in which case it will save the current settings at that point.