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