blob: 9d157bb7b2e0f100e4fa03e51804f596a9c7ea19 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
{ lib, vscode-utils, jq, moreutils }:
vscode-utils.buildVscodeMarketplaceExtension {
mktplcRef = {
name = "jupyter";
publisher = "ms-toolsai";
version = "2023.2.1000411022";
sha256 = "sha256-gMK/t/rLXYN3rlHxxVeW0W/FWEP0ZCiEwzM8DY14vYg=";
};
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
# Add a link from temp to /tmp so that the extension gets a writable
# directory to write to.
ln -s /tmp temp
'';
meta = {
description = "Jupyter extension for vscode";
homepage = "https://github.com/microsoft/vscode-jupyter";
license = lib.licenses.mit;
maintainers = [ lib.maintainers.jraygauthier ];
};
}
|