Wednesday, November 11, 2015

Add Clingo Path to Environment Variable [OpenSUSE]

1. Open Terminal
2. Type the following Command:

vi ~/.bashrc

3. Add the following content
export PATH=$PATH:~/Documents/clingo-4.5.3/

4. To save and exit, click "Shift" + ":" together and type "wq" and press Enter.

Now you're all done.

To ensure you did it right, type:

clingo

No comments:

Post a Comment