ms-toolsai.jupyter: 2021.5.745244803 -> 2021.9.1101343141 (#141772)
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>main
parent
7a135abf60
commit
4937a5f303
@ -0,0 +1,42 @@ |
||||
{ lib, vscode-utils, jq, moreutils }: |
||||
|
||||
let |
||||
inherit (vscode-utils) buildVscodeMarketplaceExtension; |
||||
|
||||
in buildVscodeMarketplaceExtension { |
||||
mktplcRef = { |
||||
name = "jupyter"; |
||||
publisher = "ms-toolsai"; |
||||
version = "2021.9.1101343141"; |
||||
sha256 = "1c5dgkk5yn6a8k3blbqakqdy8ppwgfbm0ciki7ix696bvlksbpdg"; |
||||
}; |
||||
|
||||
nativeBuildInputs = [ |
||||
jq |
||||
moreutils |
||||
]; |
||||
|
||||
postPatch = '' |
||||
# Patch 'packages.json' so that the expected '__metadata' field exists. |
||||
# This works around observed extension load failure on vscode's attempt |
||||
# to rewrite 'packages.json' with this new information. |
||||
print_jq_query() { |
||||
cat <<"EOF" |
||||
.__metadata = { |
||||
"id": "6c2f1801-1e7f-45b2-9b5c-7782f1e076e8", |
||||
"publisherId": "ac8eb7c9-3e59-4b39-8040-f0484d8170ce", |
||||
"publisherDisplayName": "Microsoft", |
||||
"installedTimestamp": 0 |
||||
} |
||||
EOF |
||||
} |
||||
jq "$(print_jq_query)" ./package.json | sponge ./package.json |
||||
''; |
||||
|
||||
meta = with lib; { |
||||
description = "Jupyter extension for vscode"; |
||||
homepage = "https://github.com/microsoft/vscode-jupyter"; |
||||
license = licenses.mit; |
||||
maintainers = with maintainers; [ jraygauthier ]; |
||||
}; |
||||
} |
Loading…
Reference in new issue