eris/install
Andrew Hamilton e4a93e1d96 release: Make sure pip is installed.
- Its good that sudo is needed early in the script, so a password
  isn't needed later for install-tools.
2021-12-06 14:45:30 +10:00

12 lines
305 B
Bash
Executable file

#!/bin/bash
set -e
sudo apt-get install -y python3-pip
python3.9 -m pip install -r ./termstr/requirements.txt ./termstr \
-r ./fill3/requirements.txt ./fill3 \
./lscolors \
-r ./eris/requirements.txt $1 ./eris
./install-tools