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 set +e
  13 echo
  14 python3 plomlombot.py "$@"
  15 set -e
  16 deactivate
  17 rm -rf $DIR_ENV