diff options
| author | Jaka Hudoklin <offlinehacker@users.noreply.github.com> | 2017-09-03 17:30:08 +0200 |
|---|---|---|
| committer | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-09-03 16:30:08 +0100 |
| commit | 4521225d2285b5b6e0eae6f962c0460e94fd44ab (patch) | |
| tree | cd8ab648fb523174f7bfb2ba2a781b67f9b0a27e /nixos | |
| parent | 4391330033f6e4c3a840ed463a82c0ad9bbdc380 (diff) | |
| download | nixlib-4521225d2285b5b6e0eae6f962c0460e94fd44ab.tar nixlib-4521225d2285b5b6e0eae6f962c0460e94fd44ab.tar.gz nixlib-4521225d2285b5b6e0eae6f962c0460e94fd44ab.tar.bz2 nixlib-4521225d2285b5b6e0eae6f962c0460e94fd44ab.tar.lz nixlib-4521225d2285b5b6e0eae6f962c0460e94fd44ab.tar.xz nixlib-4521225d2285b5b6e0eae6f962c0460e94fd44ab.tar.zst nixlib-4521225d2285b5b6e0eae6f962c0460e94fd44ab.zip | |
nixos/xpra: allow to set extra options (#28934)
Diffstat (limited to 'nixos')
| -rw-r--r-- | nixos/modules/services/x11/display-managers/xpra.nix | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/nixos/modules/services/x11/display-managers/xpra.nix b/nixos/modules/services/x11/display-managers/xpra.nix index e60dd8765264..8f5ce3dccc6a 100644 --- a/nixos/modules/services/x11/display-managers/xpra.nix +++ b/nixos/modules/services/x11/display-managers/xpra.nix @@ -34,6 +34,12 @@ in }; pulseaudio = mkEnableOption "pulseaudio audio streaming."; + + extraOptions = mkOption { + description = "Extra xpra options"; + default = []; + type = types.listOf types.str; + }; }; }; @@ -233,7 +239,8 @@ in --socket-dirs=/var/run/xpra \ --xvfb="xpra_Xdummy ${concatStringsSep " " dmcfg.xserverArgs}" \ ${optionalString (cfg.bindTcp != null) "--bind-tcp=${cfg.bindTcp}"} \ - --auth=${cfg.auth} + --auth=${cfg.auth} \ + ${concatStringsSep " " cfg.extraOptions} ''; }; |