diff options
author | Remi Collet <remi@remirepo.net> | 2018-06-05 11:33:44 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2018-06-05 11:33:44 +0200 |
commit | 1c614592bb05bd260323a56c0133cf93547bfc15 (patch) | |
tree | 1fcb371942e9b421bf3dd7eb5325840e98b5c37c /remi-php72.repo | |
parent | 098cba2b6f5bfd4ae6ca837b02bd99b6ad5c85bb (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.repo | 4 |
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 |