add f15
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 1 Jun 2011 07:47:12 +0000 (09:47 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 1 Jun 2011 07:47:12 +0000 (09:47 +0200)
mirroring/f15/yum.repos.d/building.repo.in [new file with mode: 0644]
mirroring/mirror.sh

diff --git a/mirroring/f15/yum.repos.d/building.repo.in b/mirroring/f15/yum.repos.d/building.repo.in
new file mode 100644 (file)
index 0000000..af9fd91
--- /dev/null
@@ -0,0 +1,16 @@
+[fedora]
+name=Fedora 15 - $basearch
+baseurl=@MIRRORURL@/fedora/releases/15/Everything/$basearch/os/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-15-primary
+
+[updates]
+name=Fedora 15 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/15/$basearch/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-15-primary
+
index 4083875..03b6b77 100755 (executable)
@@ -5,7 +5,7 @@ DIRNAME=$(dirname $0)
 
 default_url="http://localhost/mirror/"
 default_distro="f8"
-all_distros="f8 f10 f12 f14 centos5"
+all_distros="f8 f10 f12 f14 f15 centos5"
 
 function check_distro () {
     local distro=$1; shift