Replace theme sources with gentoo distfiles

svn path=/nixos/trunk/; revision=15427
This commit is contained in:
Michael Raskin 2009-05-03 11:07:28 +00:00
parent 9771cbbe21
commit d90d3420ef

View File

@ -667,7 +667,7 @@ in
defaultTheme = mkOption { defaultTheme = mkOption {
default = pkgs.fetchurl { 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; url = mirror://gentoo/distfiles/Theme-BabyTux.tar.bz2;
md5 = "a6d89d1c1cff3b6a08e2f526f2eab4e0"; md5 = "a6d89d1c1cff3b6a08e2f526f2eab4e0";
}; };
description = " description = "
@ -687,11 +687,7 @@ in
} }
*/ */
{ tty = 10; { tty = 10;
theme = pkgs.fetchurl { theme = pkgs.themes "theme-gnu";
#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";
};
} }
]; ];
description = " description = "