Skip to content

Commit 06dee3f

Browse files
committed
update readme
1 parent efb0222 commit 06dee3f

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

README.md

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -101,12 +101,15 @@ tar -xvzf MiniZincIDE-$LATEST_MINIZINC_VERSION-bundle-linux-x86_64.tgz
101101
mv MiniZincIDE-$LATEST_MINIZINC_VERSION-bundle-linux-x86_64 "$HOME/minizinc"
102102
rm MiniZincIDE-$LATEST_MINIZINC_VERSION-bundle-linux-x86_64.tgz
103103

104+
# Clean up the created folders
105+
rm -rf "$HOME/minizinc_install"
106+
104107
# Add MiniZinc to system PATH
105108
sudo ln -sf "$HOME/minizinc/bin/minizinc" /usr/local/bin/minizinc
106109

107110
# Create a Python virtual environment
108-
python3 -m venv "$HOME/minizinc_venv"
109-
source "$HOME/minizinc_venv/bin/activate"
111+
python3 -m venv "$HOME/dlvenv"
112+
source "$HOME/dlvenv/bin/activate"
110113

111114
# Install Python packages
112115
pip install --upgrade pip

0 commit comments

Comments
 (0)