mirror of
https://git.rockylinux.org/staging/src/rocky-release.git
synced 2024-11-14 02:31:24 +00:00
18 lines
712 B
Plaintext
18 lines
712 B
Plaintext
# Rocky-Devel.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.
|
|
|
|
[devel]
|
|
name=Rocky Linux $releasever - Devel WARNING! FOR BUILDROOT USE ONLY!
|
|
mirrorlist=http://mirrors.rockylinux.org/mirrorlist?arch=$basearch&repo=Devel-$releasever
|
|
#baseurl=http://dl.rockylinux.org/$contentdir/$releasever/Devel/$basearch/os/
|
|
gpgcheck=1
|
|
enabled=0
|
|
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-rockyofficial
|