feat(editors): remove unused vscode extension

This commit is contained in:
Felix Schröter 2023-11-19 00:56:22 +01:00
parent ebea3683ba
commit fab479f5b3
Signed by: felschr
GPG key ID: 671E39E6744C807D

View file

@ -1,18 +1,9 @@
{ config, pkgs, lib, ... }:
{ pkgs, ... }:
let vscodeExtensions = with pkgs; [ vscode-extensions.ms-vscode.cpptools ];
in {
{
home.packages = with pkgs; [
netcoredbg
# vscode-firefox-debug # TODO not packaged
haskellPackages.haskell-dap
];
home.file = builtins.listToAttrs (map (x: {
name = ".vscode/extensions/${x.vscodeExtUniqueId}";
value = {
source = "${x}/share/vscode/extensions/${x.vscodeExtUniqueId}";
recursive = true;
};
}) vscodeExtensions);
}