Results 1 to 5 of 5

Thread: PATH and Variable (Environment) Setting

  1. #1
    Join Date
    Apr 2008
    Ubuntu 7.10 Gutsy Gibbon

    PATH and Variable (Environment) Setting

    Hey Everbody

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


    2. Installing the system

    The script '' 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:

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

    ./ --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'?


  2. #2
    Join Date
    Oct 2005
    United Kingdom

    Re: PATH and Variable (Environment) Setting

    It already is in a standard ubuntu install.
    echo $PATH
    Will return something like:
    Every time you install Jaunty, a kitten........ wait sorry what year is this again?
    Please don't PM support questions, post a thread so that everyone can benefit
    Join us in #ubuntuforums on

  3. #3
    Join Date
    Dec 2006
    Canberra, AUS
    Hardy Heron (Ubuntu Development)

    Re: PATH and Variable (Environment) Setting

    To create an environment variable for your current session:
    # export MIZFILES="/usr/local/share/mizar"

    Print it to confirm
    # echo $MIZFILES

  4. #4
    Join Date
    Apr 2007

    Re: PATH and Variable (Environment) Setting

    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.
    Disclaimer: I am currently suffering from severe CSD (Compulsive Sarcasm Disorder).
    My Site | Linux User #452328 | Running Arch Linux on Sony Vaio VGN-SZ61XN/C since October 2008

  5. #5
    Join Date
    Apr 2008
    Ubuntu 7.10 Gutsy Gibbon

    Re: PATH and Variable (Environment) Setting

    Thank you so much!

Tags for this Thread


Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts