8dc5ff7dcf
The upstream session files display managers use have no concept of sessions being composed from desktop manager and window manager. To be able to set upstream session files as default session, we need a single option. Having two different ways to set default session would be confusing, though, so we decided to deprecate the old method. We also created separate script for each session, just like we already had a separate desktop file for each one, and started using displayManager.sessionPackages mechanism to make the session handling more uniform.
40 lines
563 B
Nix
40 lines
563 B
Nix
{ accountsservice
|
|
, glib
|
|
, gobject-introspection
|
|
, python3
|
|
, wrapGAppsHook
|
|
}:
|
|
|
|
python3.pkgs.buildPythonApplication {
|
|
name = "set-session";
|
|
|
|
format = "other";
|
|
|
|
src = ./set-session.py;
|
|
|
|
dontUnpack = true;
|
|
|
|
strictDeps = false;
|
|
|
|
nativeBuildInputs = [
|
|
wrapGAppsHook
|
|
gobject-introspection
|
|
];
|
|
|
|
buildInputs = [
|
|
accountsservice
|
|
glib
|
|
];
|
|
|
|
propagatedBuildInputs = with python3.pkgs; [
|
|
pygobject3
|
|
ordered-set
|
|
];
|
|
|
|
installPhase = ''
|
|
mkdir -p $out/bin
|
|
cp $src $out/bin/set-session
|
|
chmod +x $out/bin/set-session
|
|
'';
|
|
}
|