nixpkgs/pkgs/desktops/pantheon/desktop/elementary-default-settings/default.nix

55 lines
1.3 KiB
Nix
Raw Normal View History

{ stdenv
, fetchFromGitHub
, pantheon
}:
2018-08-20 22:31:18 +02:00
stdenv.mkDerivation rec {
pname = "elementary-default-settings";
version = "5.1.0";
2018-08-20 22:31:18 +02:00
repoName = "default-settings";
2018-08-20 22:31:18 +02:00
src = fetchFromGitHub {
owner = "elementary";
repo = repoName;
2018-08-20 22:31:18 +02:00
rev = version;
sha256 = "0l73py4rr56i4dalb2wh1c6qiwmcjkm0l1j75jp5agcnxldh5wym";
2018-08-20 22:31:18 +02:00
};
passthru = {
updateScript = pantheon.updateScript {
inherit repoName;
attrPath = pname;
2018-08-20 22:31:18 +02:00
};
};
patches = [
./correct-override.patch
];
dontBuild = true;
dontConfigure = true;
2018-08-20 22:31:18 +02:00
installPhase = ''
mkdir -p $out/etc/gtk-3.0
cp -av settings.ini $out/etc/gtk-3.0
mkdir -p $out/share/glib-2.0/schemas
cp -av overrides/default-settings.gschema.override $out/share/glib-2.0/schemas/20-io.elementary.desktop.gschema.override
2018-08-20 22:31:18 +02:00
mkdir $out/etc/wingpanel.d
cp -avr ${./io.elementary.greeter.whitelist} $out/etc/wingpanel.d/io.elementary.greeter.whitelist
mkdir -p $out/share/elementary/config/plank/dock1
cp -avr ${./launchers} $out/share/elementary/config/plank/dock1/launchers
'';
meta = with stdenv.lib; {
description = "Default settings and configuration files for elementary";
homepage = https://github.com/elementary/default-settings;
license = licenses.gpl2Plus;
platforms = platforms.linux;
maintainers = pantheon.maintainers;
};
}