View Full Version : PATH and Variable (Environment) Setting

April 22nd, 2008, 10:16 AM
Hey Everbody

I am trying to install MIZAR on Ubuntu. The Readme file tells me the following:


2. Installing the system

The script 'install.sh' unpacks the Mizar system to specified directories.
In most cases it is enough to call


and then answer three questions about the place where files should be copied.

There are two options that may be used with this script:

./install.sh --default
runs the script in non-interactive mode (see below for default directories),

./install.sh --nodialog
always runs the script in plain mode (without 'dialog' utility)
getting input directly from STDIN (useful for writing scripts).

When run in interactive mode, first you must provide a name of a directory
where you want to install Mizar executables (default is /usr/local/bin).
Make sure this directory is in your PATH variable.

Then you will be prompted to choose a directory for Mizar shared files
(default is /usr/local/share/mizar).

NOTE: After the installation you must set a variable MIZFILES to point to this
directory. Otherwise, the system will not find the database correctly.

Finally you will be asked about a directory where Mizar documentation files
should be placed (default is /usr/local/doc/mizar).


I used the --default mode for the installation.
Can anyone explain me how to 'make sure this directory is in my PATH variable' and how to 'set a variable MIZFILES'?


April 22nd, 2008, 10:35 AM
It already is in a standard ubuntu install.

echo $PATHWill return something like:

April 22nd, 2008, 10:45 AM
To create an environment variable for your current session:
# export MIZFILES="/usr/local/share/mizar"

Print it to confirm
# echo $MIZFILES

April 22nd, 2008, 12:29 PM
If you want to have the variable every time you log in with your account, open the .bashrc file in your home folder and add a new line with the export command at the end of the file.

April 22nd, 2008, 12:39 PM
Thank you so much!