From 8f9d74491145b561f879fc40cd249d31ccf1e675 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 28 Jun 2012 14:55:02 +0200
Subject: [PATCH] mirroring utilities for f17

---
 mirroring/f17/yum.repos.d/building.repo.in | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 mirroring/f17/yum.repos.d/building.repo.in

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