{ config, pkgs, lib, system, user, allowed, secrets, ... }: { home.packages = [ pkgs.vscodium ]; imports = [ # Make vscode settings writable (import (builtins.fetchurl { url = "https://gist.githubusercontent.com/piousdeer/b29c272eaeba398b864da6abf6cb5daa/raw/41e569ba110eb6ebbb463a6b1f5d9fe4f9e82375/mutability.nix"; sha256 = "4b5ca670c1ac865927e98ac5bf5c131eca46cc20abf0bd0612db955bfc979de8"; }) { inherit config lib; }) (import (builtins.fetchurl { url = "https://gist.githubusercontent.com/piousdeer/b29c272eaeba398b864da6abf6cb5daa/raw/41e569ba110eb6ebbb463a6b1f5d9fe4f9e82375/vscode.nix"; sha256 = "fed877fa1eefd94bc4806641cea87138df78a47af89c7818ac5e76ebacbd025f"; }) { inherit config lib pkgs; }) ]; programs.vscode = { enable = true; package = pkgs.vscodium; extensions = with pkgs.vscode-extensions; [ jnoortheen.nix-ide viktorqvarfordt.vscode-pitch-black-theme ms-python.python ms-python.black-formatter redhat.vscode-yaml redhat.vscode-xml ms-python.python mhutchie.git-graph github.vscode-pull-request-github esbenp.prettier-vscode gencer.html-slim-scss-css-class-completion donjayamanne.githistory mads-hartmann.bash-ide-vscode bungcip.better-toml #jeanp413.open-remote-ssh # ms-vscode-remote.remote-ssh # ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [ # { # name = "remote-ssh-edit"; # publisher = "ms-vscode-remote"; # version = "0.47.2"; # sha256 = "1hp6gjh4xp2m1xlm1jsdzxw9d8frkiidhph6nvl24d0h8z34w49g"; # } ]; userSettings = { workbench.colorTheme = "Just Black"; editor.fontFamily = "'CaskaydiaCove Nerd Font', 'monospace', monospace"; }; enableUpdateCheck = false; enableExtensionUpdateCheck = false; keybindings = [ { key = "ctrl+d"; command = "editor.action.deleteLines"; when = "textInputFocus"; } { key = "ctrl+shift+d"; command = "editor.action.duplicateSelection"; when = "textInputFocus"; } { # unset so that ctrl d is not set twice key = ""; command = "editor.action.addSelectionToNextFindMatch"; when = "editorFocus"; } { # unset so that ctrl shift d is not set twice key = ""; command = "workbench.view.debug"; } ]; }; }