2016-08-04 16:15:32 +01:00
|
|
|
{
|
2017-05-15 17:44:58 +01:00
|
|
|
mkDerivation
|
2016-08-04 16:15:32 +01:00
|
|
|
}:
|
|
|
|
|
2017-05-15 17:44:58 +01:00
|
|
|
mkDerivation {
|
2016-08-04 16:15:32 +01:00
|
|
|
name = "breeze-grub";
|
|
|
|
installPhase = ''
|
|
|
|
runHook preInstall
|
|
|
|
|
|
|
|
mkdir -p "$out/grub/themes"
|
|
|
|
mv breeze "$out/grub/themes"
|
|
|
|
|
|
|
|
runHook postInstall
|
|
|
|
'';
|
|
|
|
}
|