2023-03-28 19:03:54 +02:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
2023-04-29 20:25:20 +02:00
|
|
|
services.xserver = {
|
|
|
|
enable = true;
|
|
|
|
|
|
|
|
# Enable the GNOME Desktop Environment.
|
|
|
|
displayManager.gdm.enable = true;
|
|
|
|
desktopManager.gnome.enable = true;
|
2023-03-28 19:03:54 +02:00
|
|
|
|
2023-04-29 20:25:20 +02:00
|
|
|
excludePackages = with pkgs; [
|
|
|
|
xterm
|
|
|
|
];
|
|
|
|
};
|
2023-03-28 19:03:54 +02:00
|
|
|
|
2023-04-29 20:25:20 +02:00
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
gnomeExtensions.launch-new-instance
|
|
|
|
];
|
2023-03-28 19:03:54 +02:00
|
|
|
|
2023-04-29 20:25:20 +02:00
|
|
|
environment.gnome.excludePackages = (with pkgs; [
|
|
|
|
epiphany # Web browser
|
|
|
|
gnome-console
|
|
|
|
gnome-photos
|
|
|
|
gnome-text-editor
|
|
|
|
gnome-tour
|
|
|
|
]) ++ (with pkgs.gnome; [
|
|
|
|
geary # Mail client
|
|
|
|
gedit
|
|
|
|
gnome-calendar
|
|
|
|
gnome-clocks
|
|
|
|
gnome-contacts
|
|
|
|
gnome-maps
|
|
|
|
gnome-music
|
|
|
|
gnome-weather
|
|
|
|
simple-scan
|
|
|
|
totem # Movie player
|
|
|
|
yelp # Help viewer
|
|
|
|
]);
|
2023-03-28 19:03:54 +02:00
|
|
|
}
|