fix previous move that had gone wrong after I accidentally mixed f21 and f12
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 2 Jan 2015 14:49:27 +0000 (15:49 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 2 Jan 2015 14:49:27 +0000 (15:49 +0100)
mirroring/f21/yum.repos.d/building.repo.in [new file with mode: 0644]

diff --git a/mirroring/f21/yum.repos.d/building.repo.in b/mirroring/f21/yum.repos.d/building.repo.in
new file mode 100644 (file)
index 0000000..106ff16
--- /dev/null
@@ -0,0 +1,16 @@
+[fedora]
+name=Fedora 21 - $basearch
+baseurl=@MIRRORURL@/fedora/releases/21/Everything/$basearch/os/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-21-primary
+
+[updates]
+name=Fedora 21 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/21/$basearch/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-21-primary
+