Add VS code user settings

This commit is contained in:
Paul-Henri Froidmont 2021-08-24 01:34:17 +02:00
parent c9a9b8b7ae
commit ac0cb2a0e7
Signed by: phfroidmont
GPG key ID: BE948AFD7E7873BE

View file

@ -147,6 +147,30 @@
hashicorp.terraform
]
);
userSettings = {
"editor.formatOnSave" = true;
"files.autoSave" = "onFocusChange";
"files.watcherExclude" = {
"**/.bloop" = true;
"**/.metals" = true;
"**/.ammonite" = true;
};
"gruvboxMaterial.darkContrast" = "hard";
"metals.millScript" = "mill";
"nix.enableLanguageServer" = true;
"terminal.integrated.confirmOnExit" = "hasChildProcesses";
"terraform.languageServer" = {
"external" = true;
"pathToBinary" = "";
"args" = [
"serve"
];
"maxNumberOfProblems" = 100;
"trace.server" = "off";
};
"workbench.colorTheme" = "Gruvbox Material Dark";
"workbench.iconTheme" = "material-icon-theme";
};
};
};