Add TrentOS VSCode extensions
This commit is contained in:
parent
9b78d9f4fd
commit
ac3622102b
1 changed files with 31 additions and 10 deletions
|
@ -11,16 +11,37 @@ in {
|
||||||
enable = true;
|
enable = true;
|
||||||
package = pkgs.vscodium;
|
package = pkgs.vscodium;
|
||||||
enableUpdateCheck = false;
|
enableUpdateCheck = false;
|
||||||
extensions = with pkgs.vscode-extensions; [
|
extensions = with pkgs.vscode-extensions;
|
||||||
catppuccin.catppuccin-vsc
|
[
|
||||||
pkief.material-icon-theme
|
catppuccin.catppuccin-vsc
|
||||||
vscodevim.vim
|
pkief.material-icon-theme
|
||||||
bbenoist.nix
|
vscodevim.vim
|
||||||
ms-python.python
|
bbenoist.nix
|
||||||
ms-toolsai.jupyter
|
ms-python.python
|
||||||
ms-toolsai.jupyter-renderers
|
ms-toolsai.jupyter
|
||||||
ms-toolsai.jupyter-keymap
|
ms-toolsai.jupyter-renderers
|
||||||
];
|
ms-toolsai.jupyter-keymap
|
||||||
|
]
|
||||||
|
++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
|
||||||
|
{
|
||||||
|
name = "remote-ssh-edit";
|
||||||
|
publisher = "ms-vscode-remote";
|
||||||
|
version = "0.47.2";
|
||||||
|
sha256 = "1hp6gjh4xp2m1xlm1jsdzxw9d8frkiidhph6nvl24d0h8z34w49g";
|
||||||
|
}
|
||||||
|
{
|
||||||
|
name = "cpptools";
|
||||||
|
publisher = "ms-vscode";
|
||||||
|
version = "1.19.1";
|
||||||
|
sha256 = "sha256-yUZTLnN4nomFp5I0VgRz7rRMkeMU9QzY+dzEdUUASek=";
|
||||||
|
}
|
||||||
|
{
|
||||||
|
name = "camkes-syntax-highlighting";
|
||||||
|
publisher = "hensoldt-cyber-gmbh";
|
||||||
|
version = "1.1.3";
|
||||||
|
sha256 = "sha256-dRhsFGSjR/Vp5aJgMDwCZQtwmmfNXbM85ViTIq5ORwY=";
|
||||||
|
}
|
||||||
|
];
|
||||||
userSettings = {
|
userSettings = {
|
||||||
#Theming
|
#Theming
|
||||||
"workbench.colorTheme" = "Catppuccin Mocha";
|
"workbench.colorTheme" = "Catppuccin Mocha";
|
||||||
|
|
Loading…
Reference in a new issue