programs/gnome-session: change display choice "xorg" to "x11"

This commit is contained in:
Gabriel Arazas 2024-01-10 16:27:18 +08:00
parent ce49044b63
commit e16afaca97
No known key found for this signature in database
GPG Key ID: ADE0C41DAB221FCC

View File

@ -396,13 +396,13 @@ rec {
}; };
display = lib.mkOption { display = lib.mkOption {
type = with lib.types; listOf (enum [ "wayland" "xorg" ]); type = with lib.types; listOf (enum [ "wayland" "x11" ]);
description = '' description = ''
A list of display server protocols supported by the desktop A list of display server protocols supported by the desktop
environment. environment.
''; '';
default = [ "wayland" ]; default = [ "wayland" ];
example = [ "wayland" "xorg" ]; example = [ "wayland" "x11" ];
}; };
description = lib.mkOption { description = lib.mkOption {
@ -630,7 +630,7 @@ rec {
${hasMoreDisplays "Wayland"} substituteAllInPlace "$DISPLAY_SESSION_FILE" ${hasMoreDisplays "Wayland"} substituteAllInPlace "$DISPLAY_SESSION_FILE"
) )
''; '';
xorg = '' x11 = ''
( (
DISPLAY_SESSION_FILE="$out/share/xsessions/${name}.desktop" DISPLAY_SESSION_FILE="$out/share/xsessions/${name}.desktop"
install -Dm0644 "$displaySessionPath" "$DISPLAY_SESSION_FILE" install -Dm0644 "$displaySessionPath" "$DISPLAY_SESSION_FILE"