Merge pull request unisonweb#50 from refried/vagrant-libtinfo

vagrant box needs libtinfo-dev
tmciver · May 30, 2016 · c219f40 · c219f40
2 parents 1d80b2e + 470086b
commit c219f40
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vagrant-provision.sh b/vagrant-provision.sh
@@ -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