run.sh

   1 #!/bin/bash
   2
   3 # This script runs the plomlombot in a virtual environment with temporarily
   4 # installed required external Python libraries.
   5 set -e
   6
   7 DIR_ENV=.temp_env
   8
   9 pyvenv $DIR_ENV
  10 source $DIR_ENV/bin/activate
  11 pip install -r requirements.txt
  12 #pip install -r requirements2.txt
  13 echo
  14 set +e
  15 python3 plomlombot.py "$@"
  16 set -e
  17 deactivate
  18 rm -rf $DIR_ENV