Skip to content

Instantly share code, notes, and snippets.

@rachejazz
Last active October 17, 2023 11:41
Show Gist options
  • Save rachejazz/82af13d3bd833dc55c693977afee3c10 to your computer and use it in GitHub Desktop.
Save rachejazz/82af13d3bd833dc55c693977afee3c10 to your computer and use it in GitHub Desktop.
nuxmv pull to bashrc
curl -Lo nuxmv.tar.gz https://nuxmv.fbk.eu/theme/download.php?file=nuXmv-2.0.0-linux64.tar.gz
gunzip nuxmv.tar.gz
tar -xvf nuxmv.tar
cat << EOF >> ~/.bashrc
export PATH="$PATH:$(pwd)/nuXmv-2.0.0-Linux/bin/"
alias nu="nuXmv"
EOF
source ~/.bashrc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment