Merge branch 'update-extensions'

This commit is contained in:
Smaug123
2022-02-20 10:23:04 +00:00
2 changed files with 116 additions and 115 deletions

View File

@@ -111,7 +111,7 @@ type NixFile =
let specificVersions = let specificVersions =
post.TrimEnd([| '\n' ; ']'|]).Split "}" post.TrimEnd([| '\n' ; ']'|]).Split "}"
|> Array.choose (fun contents -> |> Array.choose (fun contents ->
match contents.Trim([|'\n'|]).Split "\n" |> List.ofArray with match contents.Trim([|'\n' ; ' '|]).Split "\n" |> List.ofArray with
| "{" :: rest -> | "{" :: rest ->
Some (Extension.Parse rest) Some (Extension.Parse rest)
| [] -> | [] ->

View File

@@ -1,114 +1,115 @@
{ pkgs }: {pkgs}:
with pkgs.vscode-extensions;
with pkgs.vscode-extensions; [ [
bbenoist.nix bbenoist.nix
haskell.haskell haskell.haskell
yzhang.markdown-all-in-one yzhang.markdown-all-in-one
james-yu.latex-workshop james-yu.latex-workshop
vscodevim.vim vscodevim.vim
# Not supported on Darwin, apparently # Not supported on Darwin, apparently
# ms-dotnettools.csharp # ms-dotnettools.csharp
] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [ ]
{ ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
name = "remote-containers"; {
publisher = "ms-vscode-remote"; name = "remote-containers";
version = "0.218.0"; publisher = "ms-vscode-remote";
sha256 = "4Li0sYfHOsJMn5FJtvDTGKoGPcRmoosD9tZ7q9H9DfQ="; version = "0.222.0";
} sha256 = "4Li0sYfHOsJMn5FJtvDTGKoGPcRmoosD9tZ7q9H9DfQ=";
{ }
name = "remote-ssh"; {
publisher = "ms-vscode-remote"; name = "remote-ssh";
version = "0.73.2022020215"; publisher = "ms-vscode-remote";
sha256 = "hTRfoUHKrIOSV8eZ/62ewaII5291huXjOZ++dRUmKoI="; version = "0.75.2022021903";
} sha256 = "hTRfoUHKrIOSV8eZ/62ewaII5291huXjOZ++dRUmKoI=";
{ }
name = "vscode-docker"; {
publisher = "ms-azuretools"; name = "vscode-docker";
version = "1.18.0"; publisher = "ms-azuretools";
sha256 = "UPUfTOc5xJhI5ACm2oyWqtZ4zNxZjy16D6Mf30eHFEI="; version = "1.19.0";
} sha256 = "UPUfTOc5xJhI5ACm2oyWqtZ4zNxZjy16D6Mf30eHFEI=";
{ }
name = "code-gnu-global"; {
publisher = "austin"; name = "code-gnu-global";
version = "0.2.2"; publisher = "austin";
sha256 = "1fz89m6ja25aif6wszg9h2fh5vajk6bj3lp1mh0l2b04nw2mzhd5"; version = "0.2.2";
} sha256 = "1fz89m6ja25aif6wszg9h2fh5vajk6bj3lp1mh0l2b04nw2mzhd5";
{ }
name = "rust-analyzer"; {
publisher = "matklad"; name = "rust-analyzer";
version = "0.3.904"; publisher = "matklad";
sha256 = "t5CCUdFCiSYrMsBHG5eOfg3sXMacFWiR0hmVa7S1i8Y="; version = "0.3.939";
} sha256 = "t5CCUdFCiSYrMsBHG5eOfg3sXMacFWiR0hmVa7S1i8Y=";
{ }
name = "vscode-lldb"; {
publisher = "vadimcn"; name = "vscode-lldb";
version = "1.6.10"; publisher = "vadimcn";
sha256 = "CGVVs//jIZM8uX7Wc9gM4aQGwECi88eIpfPqU2hKbeA="; version = "1.6.10";
} sha256 = "CGVVs//jIZM8uX7Wc9gM4aQGwECi88eIpfPqU2hKbeA=";
{ }
name = "toml"; {
publisher = "be5invis"; name = "toml";
version = "0.6.0"; publisher = "be5invis";
sha256 = "yk7buEyQIw6aiUizAm+sgalWxUibIuP9crhyBaOjC2E="; version = "0.6.0";
} sha256 = "yk7buEyQIw6aiUizAm+sgalWxUibIuP9crhyBaOjC2E=";
{ }
name = "Ionide-Paket"; {
publisher = "Ionide"; name = "Ionide-Paket";
version = "2.0.0"; publisher = "Ionide";
sha256 = "1455zx5p0d30b1agdi1zw22hj0d3zqqglw98ga8lj1l1d757gv6v"; version = "2.0.0";
} sha256 = "1455zx5p0d30b1agdi1zw22hj0d3zqqglw98ga8lj1l1d757gv6v";
{ }
name = "lean"; {
publisher = "jroesch"; name = "lean";
version = "0.16.44"; publisher = "jroesch";
sha256 = "hjflz5JHVr1YWq6QI9DpdNPY1uL7lAuQTMAdwCtLEfY="; version = "0.16.46";
} sha256 = "hjflz5JHVr1YWq6QI9DpdNPY1uL7lAuQTMAdwCtLEfY=";
{ }
name = "language-haskell"; {
publisher = "justusadam"; name = "language-haskell";
version = "3.4.0"; publisher = "justusadam";
sha256 = "0ab7m5jzxakjxaiwmg0jcck53vnn183589bbxh3iiylkpicrv67y"; version = "3.4.0";
} sha256 = "0ab7m5jzxakjxaiwmg0jcck53vnn183589bbxh3iiylkpicrv67y";
{ }
name = "vscode-clang"; {
publisher = "mitaki28"; name = "vscode-clang";
version = "0.2.4"; publisher = "mitaki28";
sha256 = "0sys2h4jvnannlk2q02lprc2ss9nkgh0f0kwa188i7viaprpnx23"; version = "0.2.4";
} sha256 = "0sys2h4jvnannlk2q02lprc2ss9nkgh0f0kwa188i7viaprpnx23";
{ }
name = "dotnet-interactive-vscode"; {
publisher = "ms-dotnettools"; name = "dotnet-interactive-vscode";
version = "1.0.2606011"; publisher = "ms-dotnettools";
sha256 = "a3u9NKsqHZKhZkKqJqo+LgJFTL2yhehBepTOFOXE+jY="; version = "1.0.3103011";
} sha256 = "a3u9NKsqHZKhZkKqJqo+LgJFTL2yhehBepTOFOXE+jY=";
{ }
name = "python"; {
publisher = "ms-python"; name = "python";
version = "2021.12.1559732655"; publisher = "ms-python";
sha256 = "hXTVZ7gbu234zyAg0ZrZPUo6oULB98apxe79U2yQHD4="; version = "2022.0.1814523869";
} sha256 = "hXTVZ7gbu234zyAg0ZrZPUo6oULB98apxe79U2yQHD4=";
{ }
name = "mono-debug"; {
publisher = "ms-vscode"; name = "mono-debug";
version = "0.16.2"; publisher = "ms-vscode";
sha256 = "10hixqkw5r3cg52xkbky395lv72sb9d9wrngdvmrwx62hkbk5465"; version = "0.16.2";
} sha256 = "10hixqkw5r3cg52xkbky395lv72sb9d9wrngdvmrwx62hkbk5465";
{ }
name = "Theme-MarkdownKit"; {
publisher = "ms-vscode"; name = "Theme-MarkdownKit";
version = "0.1.4"; publisher = "ms-vscode";
sha256 = "1im78k2gaj6cri2jcvy727qdy25667v0f7vv3p3hv13apzxgzl0l"; version = "0.1.4";
} sha256 = "1im78k2gaj6cri2jcvy727qdy25667v0f7vv3p3hv13apzxgzl0l";
{ }
name = "trailing-spaces"; {
publisher = "shardulm94"; name = "trailing-spaces";
version = "0.3.1"; publisher = "shardulm94";
sha256 = "0h30zmg5rq7cv7kjdr5yzqkkc1bs20d72yz9rjqag32gwf46s8b8"; version = "0.3.1";
} sha256 = "0h30zmg5rq7cv7kjdr5yzqkkc1bs20d72yz9rjqag32gwf46s8b8";
{ }
name = "debug"; {
publisher = "webfreak"; name = "debug";
version = "0.25.1"; publisher = "webfreak";
sha256 = "1l01sv6kwh8dlv3kygkkd0z9m37hahflzd5bx1wwij5p61jg7np9"; version = "0.25.1";
} sha256 = "1l01sv6kwh8dlv3kygkkd0z9m37hahflzd5bx1wwij5p61jg7np9";
] }
]