Taskwarrior-Server auf dem Pi bauen

Die meisten Schritte habe ich eins zu eins von der sehr guten Taskwarrior-Dokumentation übernommen:

sudo apt-get update
sudo apt-get install task build-essential uuid-dev
curl -O http://taskwarrior.org/download/taskd-1.1.0.tar.gz
tar xzf taskd-1.1.0.tar.gz
cd taskd-1.1.0/
cmake -DCMAKE_BUILD_TYPE=release .
make
sudo make install