# HG changeset patch # User Tom Gottfried # Date 1533901371 -7200 # Node ID 88aa790d143705bc70842d462c5b1a3e65ac00a5 # Parent 220a893318fa711812d6a34b5402ae91add05c25 Do not assume existance of a specific database in setup In case the invoking database user has no database of the same name, we can just use the database we want to create anyhow. diff -r 220a893318fa -r 88aa790d1437 schema/install-db.sh --- a/schema/install-db.sh Fri Aug 10 13:36:24 2018 +0200 +++ b/schema/install-db.sh Fri Aug 10 13:42:51 2018 +0200 @@ -97,8 +97,8 @@ if [[ drop -eq 0 ]] ; then # Default operation: create schema - psql -q -p "$port" -f "$BASEDIR/roles.sql" createdb -p "$port" "$db" + psql -q -p "$port" -f "$BASEDIR/roles.sql" -d "$db" psql -qtv ON_ERROR_STOP= -p "$port" -d "$db" \ -c "SET client_min_messages TO WARNING;" \ -f "$BASEDIR/gemma.sql" \