From 13f94dacc5b9f966a29b5b175670d3399e39ab3b Mon Sep 17 00:00:00 2001
From: Wouter den Breejen <uu@denbreejen.net>
Date: Fri, 20 Jul 2007 12:33:46 +0000
Subject: [PATCH] Added mirrors for bootsplash.de files

svn path=/nixos/trunk/; revision=9008
---
 system/options.nix | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/system/options.nix b/system/options.nix
index 7496c910de5..5d4128231f7 100644
--- a/system/options.nix
+++ b/system/options.nix
@@ -397,7 +397,8 @@
   {
     name = ["services" "ttyBackgrounds" "defaultTheme"];
     default = pkgs.fetchurl {
-      url = http://www.bootsplash.de/files/themes/Theme-BabyTux.tar.bz2;
+      #url = http://www.bootsplash.de/files/themes/Theme-BabyTux.tar.bz2;
+      url = http://www.mirrorservice.org/sites/www.ibiblio.org/gentoo/distfiles/Theme-BabyTux.tar.bz2;
       md5 = "a6d89d1c1cff3b6a08e2f526f2eab4e0";
     };
     description = "
@@ -420,7 +421,8 @@
       */
       { tty = 10;
         theme = pkgs.fetchurl {
-          url = http://www.bootsplash.de/files/themes/Theme-GNU.tar.bz2;
+          #url = http://www.bootsplash.de/files/themes/Theme-GNU.tar.bz2;
+          url = http://www.mirrorservice.org/sites/www.ibiblio.org/gentoo/distfiles/Theme-GNU.tar.bz2;
           md5 = "61969309d23c631e57b0a311102ef034";
         };
       }