vscode-extensions.ms-python.python: 2020.3.71659 -> 2020.7.96456

This commit is contained in:
Edmund Wu 2020-05-28 10:49:44 -04:00 committed by Jon
parent 2bc671bc54
commit da65bc1c5b
1 changed files with 11 additions and 4 deletions

View File

@ -1,6 +1,6 @@
{ lib, stdenv, fetchurl, vscode-utils, extractNuGet { lib, stdenv, fetchurl, vscode-utils, extractNuGet
, icu, curl, openssl, lttng-ust, autoPatchelfHook , icu, curl, openssl, lttng-ust, autoPatchelfHook
, python3 , python3, musl
, pythonUseFixed ? false # When `true`, the python default setting will be fixed to specified. , pythonUseFixed ? false # When `true`, the python default setting will be fixed to specified.
# Use version from `PATH` for default setting otherwise. # Use version from `PATH` for default setting otherwise.
# Defaults to `false` as we expect it to be project specific most of the time. # Defaults to `false` as we expect it to be project specific most of the time.
@ -37,12 +37,17 @@ let
sha256 = languageServerSha256; sha256 = languageServerSha256;
}; };
}; };
in vscode-utils.buildVscodeMarketplaceExtension { in vscode-utils.buildVscodeMarketplaceExtension rec {
mktplcRef = { mktplcRef = {
name = "python"; name = "python";
publisher = "ms-python"; publisher = "ms-python";
version = "2020.3.71659"; version = "2020.7.96456";
sha256 = "1smhnhkfchmljz8aj1br70023ysgd2hj6pm1ncn1jxphf89qi1ja"; };
vsix = fetchurl {
name = "${mktplcRef.publisher}-${mktplcRef.name}.zip";
url = "https://github.com/microsoft/vscode-python/releases/download/${mktplcRef.version}/ms-python-release.vsix";
sha256 = "0bk2wnbjcraxilzxszl00r799xf3apkfyzpy88xxv87j7787dsm8";
}; };
buildInputs = [ buildInputs = [
@ -50,6 +55,7 @@ in vscode-utils.buildVscodeMarketplaceExtension {
curl curl
openssl openssl
lttng-ust lttng-ust
musl
]; ];
nativeBuildInputs = [ nativeBuildInputs = [
@ -81,6 +87,7 @@ in vscode-utils.buildVscodeMarketplaceExtension {
meta = with lib; { meta = with lib; {
license = licenses.mit; license = licenses.mit;
platforms = [ "x86_64-linux" ];
maintainers = [ maintainers.jraygauthier ]; maintainers = [ maintainers.jraygauthier ];
}; };
} }