mirror of
https://git.rockylinux.org/staging/src/rocky-release.git
synced 2024-11-15 03:01:23 +00:00
35 lines
1.3 KiB
Plaintext
35 lines
1.3 KiB
Plaintext
# Rocky-Sources.repo
|
|
|
|
|
|
[baseos-source]
|
|
name=Rocky Linux $releasever - BaseOS - Source
|
|
mirrorlist=http://mirrorlist.rockylinux.org/?release=$releasever&arch=$basearch&repo=baseos-source&infra=$infra
|
|
#baseurl=http://dl.rockylinux.org/$contentdir/sources/$releasever/BaseOS/Source/
|
|
gpgcheck=1
|
|
enabled=0
|
|
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-rockyofficial
|
|
|
|
[appstream-source]
|
|
name=Rocky Linux $releasever - AppStream - Source
|
|
mirrorlist=http://mirrorlist.rockylinux.org/?release=$releasever&arch=$basearch&repo=appstream-source&infra=$infra
|
|
#baseurl=http://dl.rockylinux.org/$contentdir/sources/$releasever/AppStream/Source/
|
|
gpgcheck=1
|
|
enabled=0
|
|
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-rockyofficial
|
|
|
|
[extras-source]
|
|
name=Rocky Linux $releasever - Extras - Source
|
|
mirrorlist=http://mirrorlist.rockylinux.org/?release=$releasever&arch=$basearch&repo=extras-source&infra=$infra
|
|
#baseurl=http://dl.rockylinux.org/$contentdir/sources/$releasever/extras/Source/
|
|
gpgcheck=1
|
|
enabled=0
|
|
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-rockyofficial
|
|
|
|
[plus-source]
|
|
name=Rocky Linux $releasever - Plus - Source
|
|
mirrorlist=http://mirrorlist.rockylinux.org/?release=$releasever&arch=$basearch&repo=plus-source&infra=$infra
|
|
#baseurl=http://dl.rockylinux.org/$contentdir/sources/$releasever/rockyplus/Source/
|
|
gpgcheck=1
|
|
enabled=0
|
|
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-rockyofficial
|