vagrant box needs libtinfo-dev

This commit is contained in:
Arya Irani 2016-05-30 10:54:38 -04:00
parent 1d80b2eaa8
commit 470086b5b4

View File

@ -1,3 +1,3 @@
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 575159689BEFB442
echo 'deb http://download.fpcomplete.com/ubuntu trusty main'|sudo tee /etc/apt/sources.list.d/fpco.list
sudo apt-get update && sudo apt-get install stack -y
sudo apt-get update && sudo apt-get install stack libtinfo-dev -y