{ config, pkgs, lib, ... }:
{
  environment.systemPackages = with pkgs; [
    (vscode-with-extensions.override {
      vscodeExtensions = with vscode-extensions; [
        # bbenoist.nix
        ms-python.python
        ms-azuretools.vscode-docker
        ms-vscode-remote.remote-ssh
        vscode-extensions.ms-vscode-remote.remote-containers
      ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
        {
          name = "claude-dev";
          publisher = "saoudrizwan";
          version = "3.71.0";
          sha256 = "TzEydphPZ/OmIRJYslFJuk26f97mcIukPDS0WUxMOt4=";
        }
        {
          name = "vscode-mysql-client2";
          publisher = "cweijan";
          version = "8.4.5";
          sha256 = "ypb0TeG5vVEeQIfEUfXYa3VTmP6Dqg7dQispajTBP94=";
        }
      ];
    })
  ];
}