2019-10-19 12:55:35 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
2020-03-12 15:41:59 +01:00
|
|
|
with pkgs;
|
|
|
|
let
|
2020-09-23 09:32:29 +02:00
|
|
|
pop-shell = stdenv.mkDerivation rec {
|
|
|
|
pname = "pop-shell";
|
2021-03-26 00:47:11 +01:00
|
|
|
version = "2021-03-16";
|
2020-03-12 15:41:59 +01:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "pop-os";
|
|
|
|
repo = "shell";
|
2021-03-26 00:47:11 +01:00
|
|
|
rev = "77650a9aafa2f7adc328424e36dc91705411feb4";
|
|
|
|
sha256 = "0dff8gl83kx2qzzybk9hxbszv9p8qw8j40qirvfbx6mly7sqknng";
|
2020-03-12 15:41:59 +01:00
|
|
|
};
|
|
|
|
|
2021-01-19 18:14:19 +01:00
|
|
|
nativeBuildInputs = [ glib nodePackages.typescript ];
|
2020-03-12 15:41:59 +01:00
|
|
|
|
|
|
|
# the gschema doesn't seem to be installed properly (see dconf)
|
2021-01-19 18:14:19 +01:00
|
|
|
makeFlags = [
|
|
|
|
"INSTALLBASE=$(out)/share/gnome-shell/extensions"
|
|
|
|
"PLUGIN_BASE=$(out)/share/pop-shell/launcher"
|
|
|
|
"SCRIPTS_BASE=$(out)/share/pop-shell/scripts"
|
|
|
|
];
|
2020-03-12 15:41:59 +01:00
|
|
|
};
|
2020-09-23 13:19:19 +02:00
|
|
|
in {
|
|
|
|
environment.systemPackages = with pkgs;
|
|
|
|
with gnomeExtensions; [
|
2021-05-12 23:10:30 +02:00
|
|
|
gnome.dconf-editor
|
|
|
|
gnome.gnome-tweaks
|
|
|
|
gnome.gnome-shell-extensions # required for user-theme
|
2020-09-23 13:19:19 +02:00
|
|
|
dash-to-panel
|
|
|
|
appindicator
|
|
|
|
pop-shell
|
|
|
|
];
|
2019-10-19 12:55:35 +02:00
|
|
|
|
|
|
|
services.xserver.displayManager.gdm.enable = true;
|
|
|
|
services.xserver.displayManager.gdm.wayland = false;
|
2021-05-12 23:10:30 +02:00
|
|
|
services.xserver.desktopManager.gnome.enable = true;
|
|
|
|
services.xserver.desktopManager.gnome.extraGSettingsOverrides = ''
|
2020-10-20 15:40:57 +02:00
|
|
|
[org/gnome/desktop/input-sources]
|
|
|
|
sources=[('xkb', 'gb'), ('xkb', 'mozc-jp')]
|
|
|
|
'';
|
2020-05-22 17:46:14 +02:00
|
|
|
|
|
|
|
# exclude some default applications
|
2021-05-12 23:10:30 +02:00
|
|
|
environment.gnome.excludePackages = with pkgs; [
|
|
|
|
gnome.gnome-weather
|
|
|
|
gnome.gnome-calendar
|
|
|
|
gnome.gnome-maps
|
|
|
|
gnome.gnome-contacts
|
|
|
|
gnome.gnome-software
|
|
|
|
gnome.totem
|
|
|
|
gnome.epiphany
|
2019-10-19 12:55:35 +02:00
|
|
|
];
|
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
|
|
|
}
|