diff options
Diffstat (limited to 'hosts/jenkins/etc/yum')
| -rw-r--r-- | hosts/jenkins/etc/yum/repos.d/fedora-23-src.repo | 7 | ||||
| -rw-r--r-- | hosts/jenkins/etc/yum/repos.d/fedora.repo | 11 |
2 files changed, 18 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/yum/repos.d/fedora-23-src.repo b/hosts/jenkins/etc/yum/repos.d/fedora-23-src.repo new file mode 100644 index 00000000..fb948356 --- /dev/null +++ b/hosts/jenkins/etc/yum/repos.d/fedora-23-src.repo @@ -0,0 +1,7 @@ +[fedora-23-src] +name=fedora 23 sources +baseurl=http://ftp.informatik.uni-frankfurt.de/fedora/releases/23/Everything/source/SRPMS +enabled=1 +gpgcheck=0 +#gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release + diff --git a/hosts/jenkins/etc/yum/repos.d/fedora.repo b/hosts/jenkins/etc/yum/repos.d/fedora.repo new file mode 100644 index 00000000..a431739d --- /dev/null +++ b/hosts/jenkins/etc/yum/repos.d/fedora.repo @@ -0,0 +1,11 @@ +[fedora] +name=Fedora $releasever - $basearch +failovermethod=priority +#baseurl=http://ftp.informatik.uni-frankfurt.de/fedora/releases/$releasever/Everything/$basearch/os/ +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 + |