diff options
Diffstat (limited to 'hosts/jenkins/etc')
| -rw-r--r-- | hosts/jenkins/etc/yum/repos.d/fedora.repo | 21 | ||||
| -rw-r--r-- | hosts/jenkins/etc/yum/repos.d/reproducible.repo | 6 |
2 files changed, 19 insertions, 8 deletions
diff --git a/hosts/jenkins/etc/yum/repos.d/fedora.repo b/hosts/jenkins/etc/yum/repos.d/fedora.repo index a431739d..a44b8eb6 100644 --- a/hosts/jenkins/etc/yum/repos.d/fedora.repo +++ b/hosts/jenkins/etc/yum/repos.d/fedora.repo @@ -1,11 +1,16 @@ [fedora] -name=Fedora $releasever - $basearch -failovermethod=priority -#baseurl=http://ftp.informatik.uni-frankfurt.de/fedora/releases/$releasever/Everything/$basearch/os/ +name=fedora +#mirrorlist=http://mirrors.fedoraproject.org/mirrorlist?repo=fedora-$releasever&arch=$basearch baseurl=http://ftp.informatik.uni-frankfurt.de/fedora/releases/23/Everything/x86_64/os/ -enabled=1 -#metadata_expire=7d -gpgcheck=0 -#gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora-$releasever-$basearch -skip_if_unavailable=False +failovermethod=priority +#gpgkey=file:///etc/pki/mock/RPM-GPG-KEY-fedora-23-primary +#gpgcheck=1 + +[updates] +name=updates +#mirrorlist=http://mirrors.fedoraproject.org/mirrorlist?repo=updates-released-f$releasever&arch=$basearch +baseurl=http://ftp.informatik.uni-frankfurt.de/fedora/updates/23/x86_64/ +failovermethod=priority +#gpgkey=file:///etc/pki/mock/RPM-GPG-KEY-fedora-23-primary +#gpgcheck=1 diff --git a/hosts/jenkins/etc/yum/repos.d/reproducible.repo b/hosts/jenkins/etc/yum/repos.d/reproducible.repo new file mode 100644 index 00000000..d9758a16 --- /dev/null +++ b/hosts/jenkins/etc/yum/repos.d/reproducible.repo @@ -0,0 +1,6 @@ +[reproducible-builds] +name=reproducible-builds +# dhiru's repository, see https://github.com/kholia/ReproducibleBuilds +# this is the same person: dhiru = kholia = halfie +baseurl=https://fedorapeople.org/~halfie/repository/ +enabled=1 |