mirror of
https://github.com/nix-community/home-manager.git
synced 2025-11-08 19:46:05 +01:00
vscode: add profiles support (#5640)
Adds support for VSCode Profiles configuration. Allowing you to define custom extensions and settings per profile.
This commit is contained in:
parent
4949081d1e
commit
e860bd49ea
6 changed files with 337 additions and 144 deletions
|
|
@ -52,12 +52,12 @@ in {
|
|||
};
|
||||
|
||||
config = mkIf cfg.enable {
|
||||
programs.vscode.userSettings = mkIf cfg.hie.enable {
|
||||
programs.vscode.profiles.default.userSettings = mkIf cfg.hie.enable {
|
||||
"languageServerHaskell.enableHIE" = true;
|
||||
"languageServerHaskell.hieExecutablePath" = cfg.hie.executablePath;
|
||||
};
|
||||
|
||||
programs.vscode.extensions =
|
||||
programs.vscode.profiles.default.extensions =
|
||||
[ pkgs.vscode-extensions.justusadam.language-haskell ]
|
||||
++ lib.optional cfg.hie.enable
|
||||
pkgs.vscode-extensions.alanz.vscode-hie-server;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue