+62 -50

shared/home-manager/vscode.nix

reviewed

··· 1 1 - { pkgs, config, lib, self, ... }: 1 1 + { 2 2 + pkgs, 3 3 + config, 4 4 + lib, 5 5 + self, 6 6 + ... 7 7 + }: 2 8 3 9 let 4 10 inherit (pkgs.nix4vscode) 5 11 forVscode 6 6 - forVscodeVersion 7 12 forVscodePrerelease 8 8 - forVscodeVersionPrerelease 9 13 ; 10 14 in 11 15 { ··· 15 19 profiles = { 16 20 default = { 17 21 enableExtensionUpdateCheck = true; 18 18 - }; 19 19 - }; 20 20 - mutableExtensionsDir = true; 21 21 - extensions = 22 22 - forVscode [ 23 23 - # themeing 24 24 - "GitHub.github-vscode-theme" 25 25 - "PKief.material-icon-theme" 26 26 - "PKief.material-product-icons" 27 27 - 28 28 - # tooling 29 29 - "mkhl.direnv" 30 30 - "github.vscode-github-actions" 31 31 - "ms-vscode-remote.remote-ssh-edit" 32 32 - "ms-azuretools.vscode-containers" 33 33 - "GitHub.copilot-chat" 34 34 - "wdhongtw.gpg-indicator" 35 35 - "WakaTime.vscode-wakatime" 36 36 - "ms-vscode.remote-repositories" 37 37 - "GitHub.remotehub" 22 22 + extensions = 23 23 + forVscode [ 24 24 + # themeing 25 25 + "GitHub.github-vscode-theme" 26 26 + "PKief.material-icon-theme" 27 27 + "PKief.material-product-icons" 38 28 39 39 - # languages: formatting, code highlighting, etc. 40 40 - "bbenoist.Nix" 41 41 - "arrterian.nix-env-selector" 42 42 - "brettm12345.nixfmt-vscode" 43 43 - "tamasfe.even-better-toml" 44 44 - "bierner.emojisense" 45 45 - "redhat.vscode-yaml" 46 46 - "mads-hartmann.bash-ide-vscode" 47 47 - "yzhang.markdown-all-in-one" 48 48 - "bierner.markdown-checkbox" 49 49 - "bierner.markdown-emoji" 50 50 - "bierner.markdown-footnotes" 51 51 - "yahyabatulu.vscode-markdown-alert" 52 52 - "bierner.markdown-preview-github-styles" 53 53 - "bierner.markdown-mermaid" 54 54 - "bierner.markdown-yaml-preamble" 55 55 - "DavidAnson.vscode-markdownlint" 29 29 + # tooling 30 30 + "mkhl.direnv" 31 31 + "github.vscode-github-actions" 32 32 + "ms-vscode-remote.remote-ssh-edit" 33 33 + "ms-azuretools.vscode-containers" 34 34 + "GitHub.copilot-chat" 35 35 + "wdhongtw.gpg-indicator" 36 36 + "WakaTime.vscode-wakatime" 37 37 + "ms-vscode.remote-repositories" 38 38 + "GitHub.remotehub" 56 39 57 57 - ] ++ forVscodePrerelease [ 58 58 - # tooling 59 59 - "eamodio.gitlens" 60 60 - "ms-vscode.remote-server" 61 61 - "ms-vscode-remote.remote-ssh" 62 62 - "GitHub.vscode-pull-request-github" 40 40 + # languages: formatting, code highlighting, etc. 41 41 + "bbenoist.Nix" 42 42 + "arrterian.nix-env-selector" 43 43 + "brettm12345.nixfmt-vscode" 44 44 + "tamasfe.even-better-toml" 45 45 + "bierner.emojisense" 46 46 + "redhat.vscode-yaml" 47 47 + "mads-hartmann.bash-ide-vscode" 48 48 + "yzhang.markdown-all-in-one" 49 49 + "bierner.markdown-checkbox" 50 50 + "bierner.markdown-emoji" 51 51 + "bierner.markdown-footnotes" 52 52 + "yahyabatulu.vscode-markdown-alert" 53 53 + "bierner.markdown-preview-github-styles" 54 54 + "bierner.markdown-mermaid" 55 55 + "bierner.markdown-yaml-preamble" 56 56 + "DavidAnson.vscode-markdownlint" 63 57 64 64 - # AI tools 65 65 - "GitHub.copilot" 66 66 - ]; 58 58 + ] 59 59 + ++ forVscodePrerelease [ 60 60 + # tooling 61 61 + "eamodio.gitlens" 62 62 + "ms-vscode.remote-server" 63 63 + "ms-vscode-remote.remote-ssh" 64 64 + "GitHub.vscode-pull-request-github" 65 65 + ] 66 66 + ++ [ 67 67 + # AI tools 68 68 + # Manually pinned to fix hash mismatch (since Copilot releases are tied to VSC monthly releases 69 69 + (pkgs.vscode-utils.extensionFromVscodeMarketplace { 70 70 + name = "copilot"; 71 71 + publisher = "GitHub"; 72 72 + version = "1.388.0"; 73 73 + sha256 = "sha256-wusgZJrLNEEptx5WZviRLjpibF0R4vTg5xK6ywZK9og="; 74 74 + }) 75 75 + ]; 76 76 + }; 77 77 + }; 78 78 + mutableExtensionsDir = true; 67 79 }; 68 68 - } 80 80 + }

+14 -7

shared/vscode/main.nix

reviewed

··· 1 1 - { config, lib, pkgs, ... }: 1 1 + { 2 2 + config, 3 3 + lib, 4 4 + pkgs, 5 5 + ... 6 6 + }: 2 7 3 8 let 4 9 inherit (pkgs.nix4vscode) 5 10 forVscode 6 11 forVscodePrerelease 7 7 - ; 12 12 + ; 8 13 in 9 14 { 10 15 imports = [ 11 16 ./server.nix 12 17 ]; 13 13 - 18 18 + 14 19 programs.vscode = { 15 20 package = pkgs.vscode; 16 21 enable = true; 17 17 - profiles.default.extensions = { 22 22 + extensions = 18 23 forVscode [ 19 24 # themeing 20 25 "GitHub.github-vscode-theme" ··· 50 55 "bierner.markdown-yaml-preamble" 51 56 "DavidAnson.vscode-markdownlint" 52 57 53 53 - ] ++ forVscodePrerelease [ 58 58 + ] 59 59 + ++ forVscodePrerelease [ 54 60 # tooling 55 61 "eamodio.gitlens" 56 62 "ms-vscode.remote-server" 57 63 "ms-vscode-remote.remote-ssh" 58 64 "GitHub.vscode-pull-request-github" 59 59 - ] ++ [ 65 65 + ] 66 66 + ++ [ 60 67 # AI tools 61 68 # Manually pinned to fix hash mismatch (since Copilot releases are tied to VSC monthly releases 62 69 (pkgs.vscode-utils.extensionFromVscodeMarketplace { ··· 65 72 version = "1.388.0"; 66 73 sha256 = "sha256-wusgZJrLNEEptx5WZviRLjpibF0R4vTg5xK6ywZK9og="; 67 74 }) 68 68 - ]; 75 75 + ]; 69 76 }; 70 77 }