summaryrefslogtreecommitdiffstats
path: root/remi-safe.repo
diff options
context:
space:
mode:
authorRemi Collet <fedora@famillecollet.com>2016-10-01 18:13:07 +0200
committerRemi Collet <fedora@famillecollet.com>2016-10-01 18:13:07 +0200
commit73a8d81530a8c8d10df6a19ce99b8bbbe437d37e (patch)
tree95869bb8711b9225eeb322ab3c4abff9da2af050 /remi-safe.repo
parent9d87e57e0ef35e97261e96e65c121aec2459f8c9 (diff)
add mirrorlist for https mirrors (as comment)
Diffstat (limited to 'remi-safe.repo')
-rw-r--r--remi-safe.repo8
1 files changed, 8 insertions, 0 deletions
diff --git a/remi-safe.repo b/remi-safe.repo
index b997e3c..b6f28a5 100644
--- a/remi-safe.repo
+++ b/remi-safe.repo
@@ -5,7 +5,15 @@
[remi-safe]
name=Safe Remi's RPM repository for Enterprise Linux VERSION - $basearch
#baseurl=http://rpms.remirepo.net/enterprise/VERSION/safe/$basearch/
+#mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/safe/httpsmirror
mirrorlist=http://rpms.remirepo.net/enterprise/VERSION/safe/mirror
enabled=1
gpgcheck=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi
+
+[remi-safe-debuginfo]
+name=Remi's RPM repository for Enterprise Linux VERSION - $basearch - debuginfo
+baseurl=http://rpms.remirepo.net/enterprise/VERSION/debug-remi/$basearch/
+enabled=0
+gpgcheck=1
+gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi