diff options
Diffstat (limited to 'hosts/sif')
| -rw-r--r-- | hosts/sif/default.nix | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/hosts/sif/default.nix b/hosts/sif/default.nix index 45f2a87c..2b69bdd0 100644 --- a/hosts/sif/default.nix +++ b/hosts/sif/default.nix | |||
| @@ -363,7 +363,7 @@ in { | |||
| 363 | 363 | ||
| 364 | desktopManager.xterm.enable = true; | 364 | desktopManager.xterm.enable = true; |
| 365 | windowManager.twm.enable = true; | 365 | windowManager.twm.enable = true; |
| 366 | displayManager.defaultSession = "xterm+twm"; | 366 | displayManager.defaultSession = "none+xmonad"; |
| 367 | 367 | ||
| 368 | wacom.enable = true; | 368 | wacom.enable = true; |
| 369 | libinput.enable = true; | 369 | libinput.enable = true; |
| @@ -590,7 +590,17 @@ in { | |||
| 590 | xdg.portal = { | 590 | xdg.portal = { |
| 591 | enable = true; | 591 | enable = true; |
| 592 | gtkUsePortal = true; | 592 | gtkUsePortal = true; |
| 593 | extraPortals = with pkgs; [ xdg-desktop-portal-gtk ]; | 593 | extraPortals = let |
| 594 | gtk-portal = pkgs.xdg-desktop-portal-gtk.overrideAttrs (oldAttrs: { | ||
| 595 | postFixup = '' | ||
| 596 | ${oldAttrs.postFixup or ""} | ||
| 597 | |||
| 598 | ${pkgs.gnused}/bin/sed -ri \ | ||
| 599 | 's|UseIn=gnome|UseIn=gnome;xterm+twm;none+xmonad|' \ | ||
| 600 | $out/share/xdg-desktop-portal/portals/gtk.portal | ||
| 601 | ''; | ||
| 602 | }; | ||
| 603 | in [ gtk-portal ]; | ||
| 594 | }; | 604 | }; |
| 595 | 605 | ||
| 596 | system.stateVersion = "20.03"; | 606 | system.stateVersion = "20.03"; |
