RUN { \
  echo '#[RHEL-8-baseos-intel-OSTC]' ; \
  echo '#baseurl=https://linux-ftp.ostc.intel.com/pub/ISO/redhat/redhat-rhel/RHEL-8.0.0-GA/BaseOS/x86_64/os/' ; \
  echo '#enabled=1' ; \
  echo '#sslverify=0' ; \
  echo '#skip_if_unavailable=1' ; \
  echo '' ; \
} > /etc/yum.repos.d/intel-ostc-example.repo
RUN { \
  echo '[RHEL-8-appstream-partners]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (AppStream) - $basearch' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/AppStream/$basearch/os' ; \
  echo 'enabled=1' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-appstream-partners-debug]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (AppStream) - $basearch - Debug' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/AppStream/$basearch/debug/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-appstream-partners-source]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (AppStream) - Source' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/AppStream/source/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
} > /etc/yum.repos.d/RHEL-8-appstream.repo
RUN { \
  echo '[RHEL-8-baseos-partners]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (BaseOS) - $basearch' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/BaseOS/$basearch/os' ; \
  echo 'enabled=1' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-baseos-partners-debug]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (BaseOS) - $basearch - Debug' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/BaseOS/$basearch/debug/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-baseos-partners-source]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (BaseOS) - Source' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/BaseOS/source/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
} > /etc/yum.repos.d/RHEL-8-baseos.repo
RUN { \
  echo '[RHEL-8-crb-partners]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (CRB) - $basearch' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/CRB/$basearch/os' ; \
  echo 'enabled=1' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-crb-partners-debug]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (CRB) - $basearch - Debug' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/CRB/$basearch/debug/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-crb-partners-source]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (CRB) - Source' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/CRB/source/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
} > /etc/yum.repos.d/RHEL-8-crb.repo
RUN { \
  echo '[RHEL-8-highavailability-partners]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (HighAvailability) - $basearch' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/HighAvailability/$basearch/os' ; \
  echo 'enabled=1' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-highavailability-partners-debug]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (HighAvailability) - $basearch - Debug' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/HighAvailability/$basearch/debug/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-highavailability-partners-source]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (HighAvailability) - Source' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/HighAvailability/source/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
} > /etc/yum.repos.d/RHEL-8-highavailability.repo
RUN { \
  echo '[RHEL-8-resilientstorage-partners]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (ResilientStorage) - $basearch' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/ResilientStorage/$basearch/os' ; \
  echo 'enabled=1' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-resilientstorage-partners-debug]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (ResilientStorage) - $basearch - Debug' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/ResilientStorage/$basearch/debug/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-resilientstorage-partners-source]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (ResilientStorage) - Source' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/ResilientStorage/source/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
} > /etc/yum.repos.d/RHEL-8-resilientstorage.repo
RUN { \
  echo '[RHEL-8-rt-partners]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (RT) - $basearch' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/RT/$basearch/os' ; \
  echo 'enabled=1' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-rt-partners-debug]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (RT) - $basearch - Debug' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/RT/$basearch/debug/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
  echo '[RHEL-8-rt-partners-source]' ; \
  echo 'name=Red Hat Enterprise Linux 8.1.0 Partners (RT) - Source' ; \
  echo 'baseurl=ftp://partners.redhat.com/1c5d859a/91fe32f09e2de2cc3eb0f86526b4c7ca/RHEL-8.1.0-RC-1.1/RT/source/tree' ; \
  echo 'enabled=0' ; \
  echo 'gpgcheck=1' ; \
  echo 'gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release,file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-beta' ; \
  echo 'skip_if_unavailable=1' ; \
  echo '' ; \
} > /etc/yum.repos.d/RHEL-8-rt.repo