summaryrefslogtreecommitdiffstats
path: root/remi-php72.repo
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2018-06-05 11:33:44 +0200
committerRemi Collet <remi@remirepo.net>2018-06-05 11:33:44 +0200
commit1c614592bb05bd260323a56c0133cf93547bfc15 (patch)
tree1fcb371942e9b421bf3dd7eb5325840e98b5c37c /remi-php72.repo
parent098cba2b6f5bfd4ae6ca837b02bd99b6ad5c85bb (diff)
add GLPI dedicated repostitories
add symlink to have a key per version and allow system upgrade
Diffstat (limited to 'remi-php72.repo')
-rw-r--r--remi-php72.repo4
1 files changed, 2 insertions, 2 deletions
diff --git a/remi-php72.repo b/remi-php72.repo
index b7c2d30..e722376 100644
--- a/remi-php72.repo
+++ b/remi-php72.repo
@@ -7,12 +7,12 @@ enabled=0
gpgcheck=1
failovermethod=roundrobin
fastestmirror=1
-gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi
+gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi-$releasever
[remi-php72-debuginfo]
name=Remi's PHP 7.2 RPM repository for Fedora $releasever - $basearch - debuginfo
baseurl=http://rpms.remirepo.net/fedora/$releasever/debug-php72/$basearch/
enabled=0
gpgcheck=1
-gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi
+gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi-$releasever