2023-08-02 14:29:58 +00:00
|
|
|
{
|
|
|
|
|
enable,
|
|
|
|
|
pkgs,
|
|
|
|
|
}: {
|
2023-07-31 18:08:25 +00:00
|
|
|
inherit enable;
|
|
|
|
|
enableUpdateCheck = false;
|
2023-08-02 14:33:29 +00:00
|
|
|
enableExtensionUpdateCheck = false;
|
2023-07-31 18:08:25 +00:00
|
|
|
keybindings = [
|
|
|
|
|
{
|
|
|
|
|
key = "alt+a";
|
|
|
|
|
command = "editor.action.commentLine";
|
|
|
|
|
when = "editorTextFocus && !editorReadonly";
|
|
|
|
|
}
|
|
|
|
|
];
|
2023-08-02 14:29:58 +00:00
|
|
|
extensions = with pkgs.vscode-extensions; [
|
2023-08-02 14:32:31 +00:00
|
|
|
jnoortheen.nix-ide
|
2023-08-02 14:48:53 +00:00
|
|
|
ms-python.python
|
2023-08-03 10:58:00 +00:00
|
|
|
ms-python.vscode-pylance
|
|
|
|
|
james-yu.latex-workshop
|
2023-08-02 14:29:58 +00:00
|
|
|
];
|
2023-07-31 18:08:25 +00:00
|
|
|
}
|
