now using virtual environment to install packages

Author: thomasWeise

.github/workflows/build.yaml

@@ -18,7 +18,7 @@ jobs:
             ./make.sh
 # deploy to github pages
       - name: deploy documentation
-        uses: JamesIves/github-pages-deploy-action@a1ea191d508feb8485aceba848389d49f80ca2dc
+        uses: JamesIves/github-pages-deploy-action@65b5dfd4f5bcd3a7403bbc2959c144256167464e
         with:
           branch: gh-pages
           folder: /home/runner/work/programmingWithPathon/programmingWithPathon/website/

make.sh

@@ -19,7 +19,13 @@ echo "$(date +'%0Y-%0m-%0d %0R:%0S'): First we delete all left over data."
 rm "book.pdf" || true
 rm -rf "$currentDir/website" || true
 
-echo "$(date +'%0Y-%0m-%0d %0R:%0S'): Initialization: We install all required Python packages from requirements.txt."
+echo "$(date +'%0Y-%0m-%0d %0R:%0S'): First, we need to setup a virtual environment in a temp directory."
+tempDir="$(mktemp -d)"
+echo "$(date +'%0Y-%0m-%0d %0R:%0S'): Got temp dir '$tempDir', now creating environment in it."
+python3 -m venv "$tempDir"
+echo "$(date +'%0Y-%0m-%0d %0R:%0S'): Activating virtual environment in '$tempDir'."
+. "$tempDir/bin/activate"
+echo "$(date +'%0Y-%0m-%0d %0R:%0S'): Initialization: We install all required Python packages from requirements.txt to virtual environment in '$tempDir'."
 pip install --no-input --timeout 360 --retries 100 -r requirements.txt
 echo "$(date +'%0Y-%0m-%0d %0R:%0S'): Finished installing the requirements, now printing all installed packages."
 pip freeze
@@ -28,9 +34,12 @@ echo "$(date +'%0Y-%0m-%0d %0R:%0S'): Finished printing all installed packages."
 echo "$(date +'%0Y-%0m-%0d %0R:%0S'): We now execute the pdflatex compiler script."
 "$scriptDir/pdflatex.sh" "book.tex"
 
+echo "$(date +'%0Y-%0m-%0d %0R:%0S'): Deactivating virtual environment."
+deactivate
+echo "$(date +'%0Y-%0m-%0d %0R:%0S'): Deleting virtual environment."
+rm -rf "$tempDir"
+
 echo "$(date +'%0Y-%0m-%0d %0R:%0S'): We now execute the website building script."
 "$scriptDir/website.sh"
 
 echo "$(date +'%0Y-%0m-%0d %0R:%0S'): We have finished the book building process."
-
-