pgadmin4-server.sh 230 Bytes EditWeb IDE 1 2 3 4 5 6 7 8 9 10 11 12 13 14 #!/bin/sh -x # It will be run with two args: buildroot spec BUILDROOT="$1" SPEC="$2" PRODUCTDIR=/opt/pgadmin4 . $(dirname $0)/common.sh move_to_opt /usr/pgadmin4 add_requires python3 libkrb5.so.3 libpq.so.5 add_libs_requires
