qo.is/infrastructure
3
0
Fork 0
Code Issues 12 Pull requests 1 Projects 1 Activity Actions

Remove vscode from devshell #67

Merged
fabianhauser merged 1 commit from reduce-devshell-size into main 2025-05-18 19:16:07 +02:00
Conversation 0 Commits 1 Files changed 1 -7
1 changed files with 0 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 9351b0534e - Show all commits

7
dev-shells/default.nix
View file

@ -20,14 +20,7 @@ in
${system}.default = pkgs.mkShellNoCC { ${system}.default = pkgs.mkShellNoCC {
name = "qois-infrastructure-shell"; name = "qois-infrastructure-shell";
buildInputs = buildInputs =
let
vscodium-with-extensions = pkgs.vscode-with-extensions.override {
vscodeExtensions = with pkgs.vscode-extensions; [ jnoortheen.nix-ide ];
vscode = pkgs.vscodium;
};
in
pre-commit-check.enabledPackages pre-commit-check.enabledPackages
++ [ vscodium-with-extensions ]
++ (with self.packages.${system}; [ ++ (with self.packages.${system}; [
sops sops
sops-rekey sops-rekey