diff options
| author | Remi Collet <remi@remirepo.net> | 2018-01-16 08:09:55 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2018-01-16 08:09:55 +0100 |
| commit | 1b543c43299e2a2286333a07734ad1e8c69af914 (patch) | |
| tree | e8d9a0320005f333fede63fbf1c0c066e1350ce8 /remi-php72.repo | |
| parent | 5d9b0c2b2b252412473d443bafe29583dda415e8 (diff) | |
Add the GPG Key used for 2018 distributions
switch http mirrorlist to cdn.remirepo.net
fix package License (CC-BY-SA)
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 5f5d970..9205075 100644 --- a/remi-php72.repo +++ b/remi-php72.repo @@ -5,7 +5,7 @@ name=Remi's PHP 7.2 RPM repository for Enterprise Linux VERSION - $basearch #baseurl=http://rpms.remirepo.net/enterprise/VERSION/php72/$basearch/ #mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/php72/httpsmirror -mirrorlist=http://rpms.remirepo.net/enterprise/VERSION/php72/mirror +mirrorlist=http://cdn.remirepo.net/enterprise/VERSION/php72/mirror enabled=0 gpgcheck=1 gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi @@ -21,7 +21,7 @@ gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi name=Remi's PHP 7.2 test RPM repository for Enterprise Linux VERSION - $basearch #baseurl=http://rpms.remirepo.net/enterprise/VERSION/test72/$basearch/ #mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/test72/httpsmirror -mirrorlist=http://rpms.remirepo.net/enterprise/VERSION/test72/mirror +mirrorlist=http://cdn.remirepo.net/enterprise/VERSION/test72/mirror enabled=0 gpgcheck=1 gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi |