···

       
26
       
26
       
 
       
        Identifier  "DisplayLink"

     

       
27
       
27
       
 
       
        MatchDriver "evdi"

     

       
28
       
28
       
 
       
        Driver      "modesetting"

     

       
29
       
29
       
+
       
        Option      "TearFree" "true"

     

       
29
       
30
       
 
       
        Option      "AccelMethod" "none"

     

       
30
       
31
       
 
       
      EndSection

     

       
31
       
32
       
 
       
    '';

     

···

       
20
       
20
       
 
       
in

     

       
21
       
21
       
 
       
stdenv.mkDerivation rec {

     

       
22
       
22
       
 
       
  pname = "displaylink";

     

       
23
       
23
       
-
       
  version = "5.6.1-59.184";

     

       
23
       
23
       
+
       
  version = "5.7.0-61.129";

     

       
24
       
24
       
 
       


     

       
25
       
25
       
 
       
  src = requireFile rec {

     

       
26
       
26
       
-
       
    name = "displaylink-561.zip";

     

       
27
       
27
       
-
       
    sha256 = "1hihsz35ccydzx04r8r9kz0hvqwj5fgr8zpzvwyhfxp2m549f9w9";

     

       
26
       
26
       
+
       
    name = "displaylink-570.zip";

     

       
27
       
27
       
+
       
    sha256 = "807f1c203ac1e71c6f1f826493b9bb32e277f07cb2cf48537bf8cfdc68dd1515";

     

       
28
       
28
       
 
       
    message = ''

     

       
29
       
29
       
 
       
      In order to install the DisplayLink drivers, you must first

     

       
30
       
30
       
 
       
      comply with DisplayLink's EULA and download the binaries and

     

       
31
       
31
       
 
       
      sources from here:

     

       
32
       
32
       
 
       


     

       
33
       
33
       
-
       
      https://www.synaptics.com/products/displaylink-graphics/downloads/ubuntu-5.6.1

     

       
33
       
33
       
+
       
      https://www.synaptics.com/products/displaylink-graphics/downloads/ubuntu-5.7

     

       
34
       
34
       
 
       


     

       
35
       
35
       
 
       
      Once you have downloaded the file, please use the following

     

       
36
       
36
       
 
       
      commands and re-run the installation:

     

       
37
       
37
       
 
       


     

       
38
       
38
       
-
       
      mv \$PWD/"DisplayLink USB Graphics Software for Ubuntu5.6.1-EXE.zip" \$PWD/${name}

     

       
38
       
38
       
+
       
      mv \$PWD/"DisplayLink USB Graphics Software for Ubuntu5.7-EXE.zip" \$PWD/${name}

     

       
39
       
39
       
 
       
      nix-prefetch-url file://\$PWD/${name}

     

       
40
       
40
       
 
       
    '';

     

       
41
       
41
       
 
       
  };