From 86c4be93a786084b08b24a1bfb566b9298018f63 Mon Sep 17 00:00:00 2001 From: Kevin Fenzi Date: Wed, 3 Jul 2024 16:15:35 -0700 Subject: [PATCH] re-add rhel7 repo for now too Signed-off-by: Kevin Fenzi --- files/common/rhel7.repo | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 files/common/rhel7.repo diff --git a/files/common/rhel7.repo b/files/common/rhel7.repo new file mode 100644 index 0000000000..8ed58ddd9e --- /dev/null +++ b/files/common/rhel7.repo @@ -0,0 +1,24 @@ +[rhel7-dvd] +name = rhel7 base dvd +baseurl=https://infrastructure.fedoraproject.org/repo/rhel/RHEL7-$basearch/ +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release + +[rhel7-base] +name = rhel7 base $basearch +baseurl=https://infrastructure.fedoraproject.org/repo/rhel/rhel7/$basearch/rhel-7-server-rpms +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release + +[rhel7-optional] +name = rhel7 optional $basearch +baseurl=https://infrastructure.fedoraproject.org/repo/rhel/rhel7/$basearch/rhel-7-server-optional-rpms +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release + +[rhel7-extras] +name = rhel7 extras $basearch +baseurl=https://infrastructure.fedoraproject.org/repo/rhel/rhel7/$basearch/rhel-7-server-extras-rpms +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release + +[rhel7-ha] +name = rhel7 ha $basearch +baseurl=https://infrastructure.fedoraproject.org/repo/rhel/rhel7/$basearch/rhel-ha-for-rhel-7-server-rpms/ +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release