From 470086b5b40e638b73a86181ebdf3daa91c7ff22 Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Mon, 30 May 2016 10:54:38 -0400 Subject: [PATCH] vagrant box needs libtinfo-dev --- vagrant-provision.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vagrant-provision.sh b/vagrant-provision.sh index b5e0e4591..2ff9593dc 100644 --- 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