1- { stdenv
2- , coreutils
3- , pythonWithPackages
1+ { pythonWithPackages
42, python-language-server
53, callPackage
64, lib
75, kernelName
6+ , attrs
87} :
98
109with lib ;
2827 cacheFolderPath = "FILLED_IN" ;
2928 } ;
3029
31- configuration_settings = cacheFolderPath : {
32- python = {
33- linting = {
34- enabled = true ;
35- } ;
36- analysis = {
37- enabled = true ;
38- cachingLevel = "System" ;
39- cacheFolderPath = cacheFolderPath ;
40- } ;
41- } ;
42- } ;
30+ # configuration_settings = cacheFolderPath: {
31+ # python = {
32+ # linting = {
33+ # enabled = true;
34+ # };
35+ # analysis = {
36+ # enabled = true;
37+ # cachingLevel = "System";
38+ # cacheFolderPath = cacheFolderPath;
39+ # };
40+ # };
41+ # };
4342
44- generate_cache = ./generate_cache.py ;
43+ # generate_cache = ./generate_cache.py;
4544
46- cache = stdenv . mkDerivation {
47- name = "microsoft-python-language-server-cache" ;
45+ # cache = stdenv.mkDerivation {
46+ # name = "microsoft-python-language-server-cache";
4847
49- dontUnpack = true ;
48+ # dontUnpack = true;
5049
51- buildInputs = [ coreutils python ] ;
50+ # buildInputs = [coreutils python];
5251
53- buildPhase = ''
54- mkdir -p $out/cache
52+ # buildPhase = ''
53+ # mkdir -p $out/cache
5554
56- echo '${ generators . toJSON { } initialization_options } ' > initialization_options.json
57- echo '${ generators . toJSON { } ( configuration_settings "FILLED_IN" ) } ' > configuration_settings.json
55+ # echo '${generators.toJSON {} initialization_options}' > initialization_options.json
56+ # echo '${generators.toJSON {} (configuration_settings "FILLED_IN")}' > configuration_settings.json
5857
59- python ${ generate_cache } ${ python-language-server } /bin/python-language-server $out/cache ./initialization_options.json ./configuration_settings.json
60- '' ;
58+ # python ${generate_cache} ${python-language-server}/bin/python-language-server $out/cache ./initialization_options.json ./configuration_settings.json
59+ # '';
6160
62- dontInstall = true ;
61+ # dontInstall = true;
6362
64- dontFixup = true ;
65- } ;
63+ # dontFixup = true;
64+ # };
6665
6766 languageServerName = "python-language-server" ;
6867
@@ -83,7 +82,7 @@ common.writeTextDirWithMetaAndPassthru python-language-server.meta passthru "lib
8382 extensions = [ "py" ] ;
8483 notebook_suffix = ".py" ;
8584 kernel_name = kernelName ;
86- attrs = [ "python" ] ;
85+ inherit attrs ;
8786 type = "stream" ;
8887 args = [ "${ python-language-server } /bin/python-language-server" ] ;
8988 # configuration_settings = configuration_settings "${cache}/cache";
0 commit comments