Skip to content

Instantly share code, notes, and snippets.

@jctoledo
Created July 5, 2013 22:49
Show Gist options
  • Save jctoledo/5937718 to your computer and use it in GitHub Desktop.
Save jctoledo/5937718 to your computer and use it in GitHub Desktop.
Adding VOS to your user's path
# open ~/.bashrc with your favourite text editor and add the following line at the end of the file
export PATH=$PATH:/usr/local/virtuoso-opensource/bin
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment