VSCodium: Difference between revisions
m Category:Applications |
m Category:IDE added |
||
(2 intermediate revisions by 2 users not shown) | |||
Line 11: | Line 11: | ||
Extensions can be managed using the 'vscode-with-extensions' package: | Extensions can be managed using the 'vscode-with-extensions' package: | ||
< | <syntaxhighlight lang="nix"> | ||
environment.systemPackages = with pkgs; [ | environment.systemPackages = with pkgs; [ | ||
(vscode-with-extensions.override { | (vscode-with-extensions.override { | ||
Line 22: | Line 22: | ||
] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [ | ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [ | ||
{ | { | ||
name = " | name = "dscodegpt"; | ||
publisher = " | publisher = "DanielSanMedium"; | ||
version = " | version = "3.4.10"; | ||
sha256 = | hash = "sha256-zjaM9YME0wfBOwhJTacnQbQvw35QL5NvXIBAx5d/bjI="; | ||
} | } | ||
]; | ]; | ||
}) | }) | ||
]; | ]; | ||
</ | </syntaxhighlight> | ||
Some examples here: [https://github.com/search?q=extensionFromVscodeMarketplace&type=code GitHub search for "extensionFromVscodeMarketplace"] | Some examples here: [https://github.com/search?q=extensionFromVscodeMarketplace&type=code GitHub search for "extensionFromVscodeMarketplace"] | ||
Line 50: | Line 50: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
* See for more options: [https://nix-community.github.io/home-manager/options. | * See for more options: [https://nix-community.github.io/home-manager/options.xhtml#opt-programs.vscode.enable Home Manager Manual: Options - programs.vscode] | ||
* Search for extensions with configurations: [https://search.nixos.org/packages?type=packages&query=vscode-extensions NixOS Search: vscode-extensions] | * Search for extensions with configurations: [https://search.nixos.org/packages?type=packages&query=vscode-extensions NixOS Search: vscode-extensions] | ||
Please note that some Visual Studio Code extensions have licenses that restrict their use to the official Visual Studio Code builds and therefore do not work with VSCodium. See [https://github.com/VSCodium/vscodium/blob/master/ | Please note that some Visual Studio Code extensions have licenses that restrict their use to the official Visual Studio Code builds and therefore do not work with VSCodium. See [https://github.com/VSCodium/vscodium/blob/master/docs/index.md#proprietary-debugging-tools this note on the VSCodium docs page] for what's been found so far and possible workarounds. | ||
In particular, [https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-ssh remote-ssh] does not work yet with VSCodium. | In particular, [https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-ssh remote-ssh] does not work yet with VSCodium. | ||
Line 109: | Line 109: | ||
[[Category:Applications]] | [[Category:Applications]] | ||
[[Category:IDE]] |