Menu

PRINCIPIA_HOME

Graham Barbour

The Principia home directory

Principia was extracted into [INSTALL_BASEDIR]. A subdirectory principia was created, and all the extracted files lie within this subdirectory. This subdirectory is called the Principia home directory and is referred to as [PRINCIPIA_HOME].

Principia requires knowledge of the Principia home directory. This is achieved via a particular [Environment Variable] referred to as [PRINCIPIA_HOME_VAR].


Related

Wiki: Environment Variable
Wiki: INSTALL_BASEDIR
Wiki: Install PriTeX. TeX Live details.
Wiki: Installing Eclipse and TeXlipse
Wiki: Installing Principia
Wiki: PRINCIPIA_HOME
Wiki: PRINCIPIA_HOME_VAR

MongoDB Logo MongoDB