mirror of
https://git.rockylinux.org/staging/src/rocky-release.git
synced 2024-11-22 06:01:23 +00:00
34 lines
1.3 KiB
Plaintext
34 lines
1.3 KiB
Plaintext
# Rocky-Extras.repo
|
|
#
|
|
# The mirrorlist system uses the connecting IP address of the client and the
|
|
# update status of each mirror to pick current mirrors that are geographically
|
|
# close to the client. You should use this for Rocky updates unless you are
|
|
# manually picking other mirrors.
|
|
#
|
|
# If the mirrorlist does not work for you, you can try the commented out
|
|
# baseurl line instead.
|
|
|
|
[extras]
|
|
name=Rocky Linux $releasever - Extras
|
|
#mirrorlist=https://mirrors.rockylinux.org/mirrorlist?arch=$basearch&repo=extras-$releasever
|
|
baseurl=http://dl.rockylinux.org/$contentdir/$releasever/extras/$basearch/os/
|
|
gpgcheck=1
|
|
enabled=1
|
|
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-rocky-9
|
|
|
|
[extras-debug]
|
|
name=Rocky Linux $releasever - Extras Debug
|
|
#mirrorlist=https://mirrors.rockylinux.org/mirrorlist?arch=$basearch&repo=extras-$releasever-debug
|
|
baseurl=http://dl.rockylinux.org/$contentdir/$releasever/extras/$basearch/debug/tree/
|
|
gpgcheck=1
|
|
enabled=1
|
|
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-rocky-9
|
|
|
|
[extras-source]
|
|
name=Rocky Linux $releasever - Extras Source
|
|
#mirrorlist=https://mirrors.rockylinux.org/mirrorlist?arch=$basearch&repo=extras-$releasever-source
|
|
baseurl=http://dl.rockylinux.org/$contentdir/$releasever/extras/source/tree/
|
|
gpgcheck=1
|
|
enabled=1
|
|
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-rocky-9
|