eris/install-dependencies

#!/bin/bash


set -e


DIST_ID=$(cat /etc/os-release | grep "^ID=" | cut -d "=" -f 2)
if [ $DIST_ID != "ubuntu" ]; then
    echo "Eris can only be installed on Ubuntu."
    exit 1
fi
echo "Installing the dependencies of the eris script…"
sudo apt --yes install python3-pip python3.8 util-linux python3-sortedcontainers
python3.8 -m pip install pyinotify pygments docopt pillow toml
echo
echo "Installing all the tools eris may need…"
./install-tools