mirror of
https://git.rockylinux.org/staging/src/rocky-release.git
synced 2024-11-22 06:01:23 +00:00
18 lines
730 B
Plaintext
18 lines
730 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://mirrorlist.rockylinux.org/?release=$releasever&arch=$basearch&repo=Devel&infra=$infra
|
||
|
|
#baseurl=http://mirror.rockylinux.org/$contentdir/$releasever/Devel/$basearch/os/
|
||
|
|
gpgcheck=1
|
||
|
|
enabled=0
|
||
|
|
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-rockyofficial
|