init
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 16 Dec 2008 10:38:20 +0000 (10:38 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 16 Dec 2008 10:38:20 +0000 (10:38 +0000)
mirroring/f10/yum.repos.d/building.repo.in [new file with mode: 0644]

diff --git a/mirroring/f10/yum.repos.d/building.repo.in b/mirroring/f10/yum.repos.d/building.repo.in
new file mode 100644 (file)
index 0000000..8075ebe
--- /dev/null
@@ -0,0 +1,15 @@
+[fedora]
+name=Fedora 10 - $basearch
+baseurl=@MIRRORURL@/fedora/releases/10/Everything/$basearch/os/
+enabled=1
+gpgcheck=0
+# where can we get this key ?
+#gpgkey=http://redhat.download.fedoraproject.org/pub/fedora/linux/releases/8/Everything/$basearch/os/RPM-GPG-KEY-fedora
+
+[updates]
+name=Fedora 10 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/10/$basearch/
+enabled=1
+gpgcheck=1
+gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora
+