Upgrading to 1.5.5

[oweals/karmaworld.git] / Vagrantfile

diff --git a/Vagrantfile b/Vagrantfile
index 6fd8178ebb0b7f62915798009068b43d2423f3c1..7a784dc3b48b4d97d470f9ca39a2f113fdcf2bb2 100644 (file)
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -38,12 +38,16 @@ Host 127.0.0.1
 EOF
 chmod 644 /home/vagrant/.ssh/config
 
+export DEBIAN_FRONTEND=noninteractive
+
+add-apt-repository -y ppa:coolwanglu/pdf2htmlex # pdf2htmlex
+
 apt-get update
 apt-get upgrade -y
 apt-get install -y python-pip postgresql python-virtualenv virtualenvwrapper \
                    git nginx postgresql-server-dev-9.1 libxslt1-dev \
                    libxml2-dev libmemcached-dev python-dev rabbitmq-server \
-                   p7zip-full
+                   p7zip-full pdf2htmlex
 
 echo "CREATE USER vagrant WITH CREATEROLE LOGIN; CREATE DATABASE karmaworld OWNER vagrant;" | su postgres -c "psql"