Remove global github copilot

Signed-off-by: Nikolaos Karaolidis <nick@karaolidis.com>
This commit is contained in:
2025-01-12 11:47:34 +00:00
parent 253600e0b6
commit fca554dbd4
3 changed files with 20 additions and 5 deletions

View File

@@ -0,0 +1,19 @@
{
user ? throw "user argument is required",
home ? throw "home argument is required",
}:
{ pkgs, ... }:
{
home-manager.users.${user}.programs.vscode = {
extensions = with pkgs.vscode-extensions; [
github.copilot
github.copilot-chat
];
userSettings."github.copilot.enable" = {
"*" = true;
"plaintext" = true;
"markdown" = true;
};
};
}