From b21b03495da6e43959d6105a05e1ee4e11a103d9 Mon Sep 17 00:00:00 2001
From: Dave Page <dpage@pgadmin.org>
Date: Fri, 29 May 2020 14:04:51 +0100
Subject: [PATCH] Tell Yum where the GPG public key is, and fix the arch and
 version variables, per Devrim.

---
 pkg/redhat/repo-rpm.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pkg/redhat/repo-rpm.sh b/pkg/redhat/repo-rpm.sh
index 832eaaab3..badbdbbce 100755
--- a/pkg/redhat/repo-rpm.sh
+++ b/pkg/redhat/repo-rpm.sh
@@ -50,12 +50,13 @@ _create_repo_rpm() {
     cat << EOF > "${BUILDROOT}/${DISTRO}-repo/etc/yum.repos.d/pgadmin4.repo"
 [pgAdmin4]
 name=pgadmin4
-baseurl=${PGADMIN_REPO_DIR}/${DISTRO}/${PLATFORM}-\$RELEASEVER-\$BASEARCH
+baseurl=${PGADMIN_REPO_DIR}/${DISTRO}/${PLATFORM}-\$releasever-\$basearch
 enabled=1
 EOF
 
     if [ ${INCLUDE_KEY} -eq 1 ]; then
         echo gpgcheck=1 >> "${BUILDROOT}/${DISTRO}-repo/etc/yum.repos.d/pgadmin4.repo"
+        echo gpgkey=file:///etc/pki/rpm-gpg/PGADMIN_PKG_KEY >> "${BUILDROOT}/${DISTRO}-repo/etc/yum.repos.d/pgadmin4.repo"
     else
         echo gpgcheck=0 >> "${BUILDROOT}/${DISTRO}-repo/etc/yum.repos.d/pgadmin4.repo"
     fi