···

       
12
       
 
       
, curl

     

       
13
       
 
       
, coreutils

     

       
14
       
 
       
, gnused

     

       
0
       
 
       

     

       
15
       
 
       
, nix

     

       
16
       
 
       
}:

     

       
17
       
 
       


     
···

       
19
       
 
       
  mktplcRef = {

     

       
20
       
 
       
    name = "python";

     

       
21
       
 
       
    publisher = "ms-python";

     

       
22
       
-
       
    version = "2022.19.13351014";

     

       
23
       
-
       
    sha256 = "1562f4b0v76p1wfbljc5zydq7aq7k5hshxzm2v1whb77cjskiw8s";

     

       
24
       
 
       
  };

     

       
25
       
 
       


     

       
26
       
 
       
  buildInputs = [ icu ];

     
···

       
29
       
 
       


     

       
30
       
 
       
  propagatedBuildInputs = with python3.pkgs; [

     

       
31
       
 
       
    debugpy

     

       
32
       
-
       
    isort

     

       
33
       
 
       
    jedi-language-server

     

       
34
       
 
       
  ];

     

       
35
       
 
       


     
···

       
57
       
 
       
      curl

     

       
58
       
 
       
      coreutils

     

       
59
       
 
       
      gnused

     

       
0
       
 
       

     

       
60
       
 
       
      nix

     

       
61
       
 
       
    ]}

     

       
62
       
 
       


     

       
63
       
 
       
    api=$(curl -s 'https://marketplace.visualstudio.com/_apis/public/gallery/extensionquery' \

     

       
64
       
 
       
      -H 'accept: application/json;api-version=3.0-preview.1' \

     

       
65
       
 
       
      -H 'content-type: application/json' \

     

       
66
       
-
       
      --data-raw '{"filters":[{"criteria":[{"filterType":7,"value":"${mktplcRef.publisher}.${mktplcRef.name}"}]}],"flags":512}')

     

       
67
       
-
       
    version=$(echo $api | sed -n -E 's|^.*"version":"([0-9.]+)".*$|\1|p')

     

       
0
       
 
       

     

       
68
       
 
       


     

       
69
       
 
       
    if [[ $version != ${mktplcRef.version} ]]; then

     

       
70
       
 
       
      tmp=$(mktemp)

     

···

       
12
       
 
       
, curl

     

       
13
       
 
       
, coreutils

     

       
14
       
 
       
, gnused

     

       
15
       
+
       
, jq

     

       
16
       
 
       
, nix

     

       
17
       
 
       
}:

     

       
18
       
 
       


     
···

       
20
       
 
       
  mktplcRef = {

     

       
21
       
 
       
    name = "python";

     

       
22
       
 
       
    publisher = "ms-python";

     

       
23
       
+
       
    version = "2023.1.10091012";

     

       
24
       
+
       
    sha256 = "sha256-JosFv6ngJmw1XRILwTZMVxlGIdWFLFQjj4olfnVwAIM=";

     

       
25
       
 
       
  };

     

       
26
       
 
       


     

       
27
       
 
       
  buildInputs = [ icu ];

     
···

       
30
       
 
       


     

       
31
       
 
       
  propagatedBuildInputs = with python3.pkgs; [

     

       
32
       
 
       
    debugpy

     

       
0
       
 
       

     

       
33
       
 
       
    jedi-language-server

     

       
34
       
 
       
  ];

     

       
35
       
 
       


     
···

       
57
       
 
       
      curl

     

       
58
       
 
       
      coreutils

     

       
59
       
 
       
      gnused

     

       
60
       
+
       
      jq

     

       
61
       
 
       
      nix

     

       
62
       
 
       
    ]}

     

       
63
       
 
       


     

       
64
       
 
       
    api=$(curl -s 'https://marketplace.visualstudio.com/_apis/public/gallery/extensionquery' \

     

       
65
       
 
       
      -H 'accept: application/json;api-version=3.0-preview.1' \

     

       
66
       
 
       
      -H 'content-type: application/json' \

     

       
67
       
+
       
      --data-raw '{"filters":[{"criteria":[{"filterType":7,"value":"${mktplcRef.publisher}.${mktplcRef.name}"}]}],"flags":16}')

     

       
68
       
+
       
    # Find the latest version compatible with stable vscode version

     

       
69
       
+
       
    version=$(echo $api | jq -r '.results[0].extensions[0].versions | map(select(has("properties"))) | map(select(.properties | map(select(.key == "Microsoft.VisualStudio.Code.Engine")) | .[0].value | test("\\^[0-9.]+$"))) | .[0].version')

     

       
70
       
 
       


     

       
71
       
 
       
    if [[ $version != ${mktplcRef.version} ]]; then

     

       
72
       
 
       
      tmp=$(mktemp)