From 98b1668420f9fa6afbb2406617eb051f184d04e2 Mon Sep 17 00:00:00 2001 From: Michiel Scholten Date: Mon, 4 Sep 2017 09:20:09 +0200 Subject: [PATCH] pgadmin4 launch/install --- bin/pgadmin4 | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100755 bin/pgadmin4 diff --git a/bin/pgadmin4 b/bin/pgadmin4 new file mode 100755 index 0000000..be596e7 --- /dev/null +++ b/bin/pgadmin4 @@ -0,0 +1,19 @@ +#!/bin/bash + +PGADMINVENV="pgadmin4" +VENVDIR="$HOME/.virtualenvs/${PGADMINVENV}" +source /usr/share/virtualenvwrapper/virtualenvwrapper.sh + +if [ -d "$VENVDIR" ]; then + workon "${PGADMINVENV}" + # Start + python ${VENVDIR}lib/python2.7/site-packages/pgadmin4/pgAdmin4.py +else + mkvirtualenv "${PGADMINVENV}" + # Install + echo "Download the wheel from https://www.pgadmin.org/download/pgadmin-4-python-wheel/" + echo "Install with:" + echo "# workon pgadmin4" + echo "pip install ./pgadmin4-1.6-py2.py3-none-any.whl" + echo "echo "SERVER_MODE = False" >> ${VENVDIR}/lib/python2.7/site-packages/pgadmin4/config_local.py" +fi