Andrew Hamilton
4b48c0c912
This had stopped working. Unfortunately it doesn't seem to help anyway. Ideally the responsiveness of the interface is the same, regardless of whether the workers are paused or not. Atm its much better when they are paused.
12 lines
271 B
Bash
Executable file
12 lines
271 B
Bash
Executable file
#!/bin/bash
|
|
|
|
|
|
set -e
|
|
|
|
|
|
echo "Install the dependencies of the vigil script..."
|
|
sudo apt-get --yes install python3-minimal python3-pygments python3-pyinotify \
|
|
python3-urwid python3-docopt util-linux
|
|
echo
|
|
echo "Install all the tools vigil may need..."
|
|
./install-tools
|