2019-10-19 12:55:35 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
2020-03-12 15:41:59 +01:00
|
|
|
with pkgs;
|
|
|
|
|
let
|
|
|
|
|
gnome-shell-extension-pop-shell = stdenv.mkDerivation rec {
|
|
|
|
|
pname = "gnome-shell-extension-pop-shell";
|
2020-08-14 22:36:21 +02:00
|
|
|
version = "2020-08-14";
|
2020-03-12 15:41:59 +01:00
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
|
owner = "pop-os";
|
|
|
|
|
repo = "shell";
|
2020-08-14 22:36:21 +02:00
|
|
|
rev = "69415ea1fa221a15e8b1c1f9f9ab0b4ba302ee9c";
|
|
|
|
|
sha256 = "0p0kh1f7achrr51mwmxnnliz82qmfdi37wvc9xhf02w0cx28hlml";
|
2020-03-12 15:41:59 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
nativeBuildInputs = [ glib ];
|
|
|
|
|
buildInputs = [ nodePackages.typescript ];
|
|
|
|
|
|
|
|
|
|
# the gschema doesn't seem to be installed properly (see dconf)
|
|
|
|
|
makeFlags = [ "INSTALLBASE=$(out)/share/gnome-shell/extensions" ];
|
|
|
|
|
};
|
|
|
|
|
in
|
2019-10-19 12:55:35 +02:00
|
|
|
{
|
|
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
|
gnome3.dconf-editor
|
|
|
|
|
gnome3.gnome-tweaks
|
2020-03-12 15:15:07 +01:00
|
|
|
gnome3.gnome-shell-extensions # required for user-theme
|
2019-10-19 12:55:35 +02:00
|
|
|
gnomeExtensions.dash-to-panel
|
2020-02-27 19:14:39 +01:00
|
|
|
gnomeExtensions.appindicator
|
2020-03-12 15:41:59 +01:00
|
|
|
gnome-shell-extension-pop-shell
|
2019-10-19 12:55:35 +02:00
|
|
|
];
|
|
|
|
|
|
|
|
|
|
services.xserver.displayManager.gdm.enable = true;
|
|
|
|
|
services.xserver.displayManager.gdm.wayland = false;
|
|
|
|
|
services.xserver.desktopManager.gnome3.enable = true;
|
2020-05-22 17:46:14 +02:00
|
|
|
|
|
|
|
|
# exclude some default applications
|
2019-10-19 12:55:35 +02:00
|
|
|
environment.gnome3.excludePackages = with pkgs; [
|
|
|
|
|
gnome3.gnome-weather
|
|
|
|
|
gnome3.gnome-calendar
|
|
|
|
|
gnome3.gnome-maps
|
|
|
|
|
gnome3.gnome-contacts
|
|
|
|
|
gnome3.gnome-software
|
2020-03-21 17:22:40 +01:00
|
|
|
gnome3.totem
|
2019-10-19 12:55:35 +02:00
|
|
|
gnome3.epiphany
|
|
|
|
|
];
|
2020-03-24 00:57:11 +01:00
|
|
|
programs.gnome-terminal.enable = false;
|
2020-05-22 17:46:14 +02:00
|
|
|
programs.geary.enable = false;
|
2020-03-21 16:31:14 +01:00
|
|
|
}
|
