]> git.openstreetmap.org Git - nominatim.git/blobdiff - vagrant/Install-on-Ubuntu-18-nginx.sh
Merge pull request #1741 from filimongeorge/patch-1
[nominatim.git] / vagrant / Install-on-Ubuntu-18-nginx.sh
index d93cdc5bd3dea5b7004dab6ce73ca4b2e61a6e6b..382df6b2448ba526986763d94756cf1bde30d84d 100755 (executable)
@@ -23,7 +23,8 @@ export DEBIAN_FRONTEND=noninteractive
                             postgresql-server-dev-10 postgresql-10-postgis-2.4 \
                             postgresql-contrib-10 \
                             nginx php-fpm php php-pgsql \
-                            php-intl git
+                            php-intl python3-setuptools python3-dev python3-pip \
+                            python3-psycopg2 python3-tidylib git
 
     export USERNAME=vagrant
     export USERHOME=/home/vagrant