2024-07-28 23:48:00 +00:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
{
|
|
|
|
|
programs.vscode = {
|
|
|
|
|
enable = true;
|
2024-07-29 00:26:11 +00:00
|
|
|
mutableExtensionsDir = false;
|
2024-07-28 23:48:00 +00:00
|
|
|
extensions = with pkgs.vscode-extensions; [
|
|
|
|
|
eamodio.gitlens
|
|
|
|
|
jnoortheen.nix-ide
|
|
|
|
|
scalameta.metals
|
|
|
|
|
kamikillerto.vscode-colorize
|
|
|
|
|
file-icons.file-icons
|
|
|
|
|
];
|
|
|
|
|
userSettings = {
|
|
|
|
|
"security.workspace.trust.untrustedFiles" = "open";
|
|
|
|
|
"workbench.colorTheme" = "Default Dark Modern";
|
|
|
|
|
"workbench.iconTheme" = "file-icons";
|
|
|
|
|
"files.autoSave" = "afterDelay";
|
|
|
|
|
"editor.formatOnSave" = true;
|
|
|
|
|
"nix.formatterPath" = "nixpkgs-fmt";
|
|
|
|
|
"colorize.languages" = [
|
|
|
|
|
"javascript"
|
|
|
|
|
"nix"
|
|
|
|
|
];
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
}
|
