pdf2htmlex installation fixed, fixed minor problem when e.g. grub needs update

diff --git a/README.md b/README.md
index fa859a9dd8d4b761f030c64d4522a8f2a20a55eb..d1c080f8e592f2d98a7e72fd4a88f542c09d0e9f 100644 (file)
--- a/README.md
+++ b/README.md
@@ -191,7 +191,7 @@ not generally be needed.
                              libmemcached-dev python-dev rabbitmq-server
 
         sudo add-apt-repository ppa:coolwanglu/pdf2htmlex
-        sudo apt-get install fontforge poppler pdf2htmlex
+        sudo apt-get install pdf2htmlex
 
 1. Generate a PostgreSQL database and a role with read/write permissions.
    * For Debian, these instructions are helpful: https://wiki.debian.org/PostgreSql

diff --git a/Vagrantfile b/Vagrantfile
index c77b866882b7282e516e702b2df7cc62c104909c..7a784dc3b48b4d97d470f9ca39a2f113fdcf2bb2 100644 (file)
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -38,14 +38,16 @@ Host 127.0.0.1
 EOF
 chmod 644 /home/vagrant/.ssh/config
 
-add-apt-repository ppa:coolwanglu/pdf2htmlex # fontforge poppler pdf2htmlex
+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 fontforge poppler pdf2htmlex
+                   p7zip-full pdf2htmlex
 
 echo "CREATE USER vagrant WITH CREATEROLE LOGIN; CREATE DATABASE karmaworld OWNER vagrant;" | su postgres -c "psql"