diff options
Diffstat (limited to 'hosts/jenkins/etc/yum/repos.d/fedora.repo')
| -rw-r--r-- | hosts/jenkins/etc/yum/repos.d/fedora.repo | 11 |
1 files changed, 11 insertions, 0 deletions
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 + |