From e603de33474fc082263ed1fde49b0fd359617d98 Mon Sep 17 00:00:00 2001 From: Smaug123 Date: Sun, 20 Feb 2022 09:54:34 +0000 Subject: [PATCH] Update VSCode extensions --- VsCodeExtensions/Program.fs | 2 +- vscode-extensions.nix | 229 ++++++++++++++++++------------------ 2 files changed, 116 insertions(+), 115 deletions(-) diff --git a/VsCodeExtensions/Program.fs b/VsCodeExtensions/Program.fs index 79c5413..623bc1b 100644 --- a/VsCodeExtensions/Program.fs +++ b/VsCodeExtensions/Program.fs @@ -111,7 +111,7 @@ type NixFile = let specificVersions = post.TrimEnd([| '\n' ; ']'|]).Split "}" |> Array.choose (fun contents -> - match contents.Trim([|'\n'|]).Split "\n" |> List.ofArray with + match contents.Trim([|'\n' ; ' '|]).Split "\n" |> List.ofArray with | "{" :: rest -> Some (Extension.Parse rest) | [] -> diff --git a/vscode-extensions.nix b/vscode-extensions.nix index 780b02b..a08201a 100644 --- a/vscode-extensions.nix +++ b/vscode-extensions.nix @@ -1,114 +1,115 @@ -{ pkgs }: - -with pkgs.vscode-extensions; [ - bbenoist.nix - haskell.haskell - yzhang.markdown-all-in-one - james-yu.latex-workshop - vscodevim.vim - # Not supported on Darwin, apparently - # ms-dotnettools.csharp -] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [ - { - name = "remote-containers"; - publisher = "ms-vscode-remote"; - version = "0.218.0"; - sha256 = "4Li0sYfHOsJMn5FJtvDTGKoGPcRmoosD9tZ7q9H9DfQ="; - } - { - name = "remote-ssh"; - publisher = "ms-vscode-remote"; - version = "0.73.2022020215"; - sha256 = "hTRfoUHKrIOSV8eZ/62ewaII5291huXjOZ++dRUmKoI="; - } - { - name = "vscode-docker"; - publisher = "ms-azuretools"; - version = "1.18.0"; - sha256 = "UPUfTOc5xJhI5ACm2oyWqtZ4zNxZjy16D6Mf30eHFEI="; - } - { - name = "code-gnu-global"; - publisher = "austin"; - version = "0.2.2"; - sha256 = "1fz89m6ja25aif6wszg9h2fh5vajk6bj3lp1mh0l2b04nw2mzhd5"; - } - { - name = "rust-analyzer"; - publisher = "matklad"; - version = "0.3.904"; - sha256 = "t5CCUdFCiSYrMsBHG5eOfg3sXMacFWiR0hmVa7S1i8Y="; - } - { - name = "vscode-lldb"; - publisher = "vadimcn"; - version = "1.6.10"; - sha256 = "CGVVs//jIZM8uX7Wc9gM4aQGwECi88eIpfPqU2hKbeA="; - } - { - name = "toml"; - publisher = "be5invis"; - version = "0.6.0"; - sha256 = "yk7buEyQIw6aiUizAm+sgalWxUibIuP9crhyBaOjC2E="; - } - { - name = "Ionide-Paket"; - publisher = "Ionide"; - version = "2.0.0"; - sha256 = "1455zx5p0d30b1agdi1zw22hj0d3zqqglw98ga8lj1l1d757gv6v"; - } - { - name = "lean"; - publisher = "jroesch"; - version = "0.16.44"; - sha256 = "hjflz5JHVr1YWq6QI9DpdNPY1uL7lAuQTMAdwCtLEfY="; - } - { - name = "language-haskell"; - publisher = "justusadam"; - version = "3.4.0"; - sha256 = "0ab7m5jzxakjxaiwmg0jcck53vnn183589bbxh3iiylkpicrv67y"; - } - { - name = "vscode-clang"; - publisher = "mitaki28"; - version = "0.2.4"; - sha256 = "0sys2h4jvnannlk2q02lprc2ss9nkgh0f0kwa188i7viaprpnx23"; - } - { - name = "dotnet-interactive-vscode"; - publisher = "ms-dotnettools"; - version = "1.0.2606011"; - sha256 = "a3u9NKsqHZKhZkKqJqo+LgJFTL2yhehBepTOFOXE+jY="; - } - { - name = "python"; - publisher = "ms-python"; - version = "2021.12.1559732655"; - sha256 = "hXTVZ7gbu234zyAg0ZrZPUo6oULB98apxe79U2yQHD4="; - } - { - name = "mono-debug"; - publisher = "ms-vscode"; - version = "0.16.2"; - sha256 = "10hixqkw5r3cg52xkbky395lv72sb9d9wrngdvmrwx62hkbk5465"; - } - { - name = "Theme-MarkdownKit"; - publisher = "ms-vscode"; - version = "0.1.4"; - sha256 = "1im78k2gaj6cri2jcvy727qdy25667v0f7vv3p3hv13apzxgzl0l"; - } - { - name = "trailing-spaces"; - publisher = "shardulm94"; - version = "0.3.1"; - sha256 = "0h30zmg5rq7cv7kjdr5yzqkkc1bs20d72yz9rjqag32gwf46s8b8"; - } - { - name = "debug"; - publisher = "webfreak"; - version = "0.25.1"; - sha256 = "1l01sv6kwh8dlv3kygkkd0z9m37hahflzd5bx1wwij5p61jg7np9"; - } -] +{pkgs}: +with pkgs.vscode-extensions; + [ + bbenoist.nix + haskell.haskell + yzhang.markdown-all-in-one + james-yu.latex-workshop + vscodevim.vim + # Not supported on Darwin, apparently + # ms-dotnettools.csharp + ] + ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [ + { + name = "remote-containers"; + publisher = "ms-vscode-remote"; + version = "0.222.0"; + sha256 = "4Li0sYfHOsJMn5FJtvDTGKoGPcRmoosD9tZ7q9H9DfQ="; + } + { + name = "remote-ssh"; + publisher = "ms-vscode-remote"; + version = "0.75.2022021903"; + sha256 = "hTRfoUHKrIOSV8eZ/62ewaII5291huXjOZ++dRUmKoI="; + } + { + name = "vscode-docker"; + publisher = "ms-azuretools"; + version = "1.19.0"; + sha256 = "UPUfTOc5xJhI5ACm2oyWqtZ4zNxZjy16D6Mf30eHFEI="; + } + { + name = "code-gnu-global"; + publisher = "austin"; + version = "0.2.2"; + sha256 = "1fz89m6ja25aif6wszg9h2fh5vajk6bj3lp1mh0l2b04nw2mzhd5"; + } + { + name = "rust-analyzer"; + publisher = "matklad"; + version = "0.3.939"; + sha256 = "t5CCUdFCiSYrMsBHG5eOfg3sXMacFWiR0hmVa7S1i8Y="; + } + { + name = "vscode-lldb"; + publisher = "vadimcn"; + version = "1.6.10"; + sha256 = "CGVVs//jIZM8uX7Wc9gM4aQGwECi88eIpfPqU2hKbeA="; + } + { + name = "toml"; + publisher = "be5invis"; + version = "0.6.0"; + sha256 = "yk7buEyQIw6aiUizAm+sgalWxUibIuP9crhyBaOjC2E="; + } + { + name = "Ionide-Paket"; + publisher = "Ionide"; + version = "2.0.0"; + sha256 = "1455zx5p0d30b1agdi1zw22hj0d3zqqglw98ga8lj1l1d757gv6v"; + } + { + name = "lean"; + publisher = "jroesch"; + version = "0.16.46"; + sha256 = "hjflz5JHVr1YWq6QI9DpdNPY1uL7lAuQTMAdwCtLEfY="; + } + { + name = "language-haskell"; + publisher = "justusadam"; + version = "3.4.0"; + sha256 = "0ab7m5jzxakjxaiwmg0jcck53vnn183589bbxh3iiylkpicrv67y"; + } + { + name = "vscode-clang"; + publisher = "mitaki28"; + version = "0.2.4"; + sha256 = "0sys2h4jvnannlk2q02lprc2ss9nkgh0f0kwa188i7viaprpnx23"; + } + { + name = "dotnet-interactive-vscode"; + publisher = "ms-dotnettools"; + version = "1.0.3103011"; + sha256 = "a3u9NKsqHZKhZkKqJqo+LgJFTL2yhehBepTOFOXE+jY="; + } + { + name = "python"; + publisher = "ms-python"; + version = "2022.0.1814523869"; + sha256 = "hXTVZ7gbu234zyAg0ZrZPUo6oULB98apxe79U2yQHD4="; + } + { + name = "mono-debug"; + publisher = "ms-vscode"; + version = "0.16.2"; + sha256 = "10hixqkw5r3cg52xkbky395lv72sb9d9wrngdvmrwx62hkbk5465"; + } + { + name = "Theme-MarkdownKit"; + publisher = "ms-vscode"; + version = "0.1.4"; + sha256 = "1im78k2gaj6cri2jcvy727qdy25667v0f7vv3p3hv13apzxgzl0l"; + } + { + name = "trailing-spaces"; + publisher = "shardulm94"; + version = "0.3.1"; + sha256 = "0h30zmg5rq7cv7kjdr5yzqkkc1bs20d72yz9rjqag32gwf46s8b8"; + } + { + name = "debug"; + publisher = "webfreak"; + version = "0.25.1"; + sha256 = "1l01sv6kwh8dlv3kygkkd0z9m37hahflzd5bx1wwij5p61jg7np9"; + } + ]