···

       
19
       
19
       
 
       
  config = mkIf enabled {

     

       
20
       
20
       
 
       


     

       
21
       
21
       
 
       
    boot.extraModulePackages = [ evdi ];

     

       
22
       
22
       
+
       
    boot.kernelModules = [ "evdi" ];

     

       
23
       
23
       
+
       


     

       
24
       
24
       
+
       
    environment.etc."X11/xorg.conf.d/40-displaylink.conf".text = ''

     

       
25
       
25
       
+
       
      Section "OutputClass"

     

       
26
       
26
       
+
       
        Identifier  "DisplayLink"

     

       
27
       
27
       
+
       
        MatchDriver "evdi"

     

       
28
       
28
       
+
       
        Driver      "modesetting"

     

       
29
       
29
       
+
       
        Option      "AccelMethod" "none"

     

       
30
       
30
       
+
       
      EndSection

     

       
31
       
31
       
+
       
    '';

     

       
32
       
32
       
+
       


     

       
33
       
33
       
+
       
    # make the device available

     

       
34
       
34
       
+
       
    services.xserver.displayManager.sessionCommands = ''

     

       
35
       
35
       
+
       
      ${lib.getBin pkgs.xorg.xrandr}/bin/xrandr --setprovideroutputsource 1 0

     

       
36
       
36
       
+
       
    '';

     

       
22
       
37
       
 
       


     

       
23
       
38
       
 
       
    # Those are taken from displaylink-installer.sh and from Arch Linux AUR package.

     

       
24
       
39
       
 
       


     
···

       
47
       
62
       
 
       
      description = "DisplayLink Manager Service";

     

       
48
       
63
       
 
       
      after = [ "display-manager.service" ];

     

       
49
       
64
       
 
       
      conflicts = [ "getty@tty7.service" ];

     

       
50
       
50
       
-
       
      path = [ pkgs.kmod ];

     

       
51
       
65
       
 
       


     

       
52
       
66
       
 
       
      serviceConfig = {

     

       
53
       
67
       
 
       
        ExecStart = "${displaylink}/bin/DisplayLinkManager";

     

       
54
       
68
       
 
       
        Restart = "always";

     

       
55
       
69
       
 
       
        RestartSec = 5;

     

       
70
       
70
       
+
       
        LogsDirectory = "displaylink";

     

       
56
       
71
       
 
       
      };

     

       
57
       
57
       
-
       


     

       
58
       
58
       
-
       
      preStart = ''

     

       
59
       
59
       
-
       
        mkdir -p /var/log/displaylink

     

       
60
       
60
       
-
       
        modprobe evdi

     

       
61
       
61
       
-
       
      '';

     

       
62
       
72
       
 
       
    };

     

       
63
       
73
       
 
       


     

       
64
       
74
       
 
       
  };