2023-08-28 23:01:23 +00:00
|
|
|
{
|
|
|
|
inputs = {
|
|
|
|
nix-vscode-extensions.url = "github:nix-community/nix-vscode-extensions";
|
|
|
|
flake-utils.follows = "nix-vscode-extensions/flake-utils";
|
2023-08-30 07:40:39 +00:00
|
|
|
nixpkgs.url = "nixpkgs/nixos-unstable";
|
2023-08-28 23:01:23 +00:00
|
|
|
};
|
|
|
|
|
2023-08-28 23:50:58 +00:00
|
|
|
outputs = { self, flake-utils, nixpkgs, nix-vscode-extensions }:
|
|
|
|
flake-utils.lib.eachDefaultSystem
|
2023-08-28 23:01:23 +00:00
|
|
|
(system:
|
|
|
|
let
|
2023-08-28 23:50:58 +00:00
|
|
|
pkgs = import nixpkgs { inherit system; config = { allowUnfree = true; }; };
|
|
|
|
extensions = nix-vscode-extensions.extensions.${system};
|
2023-08-28 23:01:23 +00:00
|
|
|
inherit (pkgs) vscode-with-extensions vscode;
|
|
|
|
|
|
|
|
packages.default =
|
|
|
|
vscode-with-extensions.override {
|
|
|
|
vscodeExtensions = [
|
|
|
|
pkgs.vscode-extensions.ms-vsliveshare.vsliveshare
|
|
|
|
pkgs.vscode-extensions.github.copilot
|
2024-10-27 20:29:28 +00:00
|
|
|
pkgs.vscode-extensions.github.copilot-chat
|
2023-08-28 23:01:23 +00:00
|
|
|
pkgs.vscode-extensions.ms-vscode-remote.remote-ssh
|
|
|
|
pkgs.vscode-extensions.eugleo.magic-racket
|
2024-03-04 10:46:56 +00:00
|
|
|
pkgs.vscode-extensions.llvm-vs-code-extensions.vscode-clangd
|
|
|
|
pkgs.vscode-extensions.mkhl.direnv
|
2023-11-06 12:17:50 +00:00
|
|
|
# pkgs.vscode-extensions.ms-python.python
|
2023-08-28 23:01:23 +00:00
|
|
|
|
|
|
|
extensions.vscode-marketplace.arcticicestudio.nord-visual-studio-code
|
|
|
|
extensions.vscode-marketplace.bbenoist.nix
|
|
|
|
extensions.vscode-marketplace.davidanson.vscode-markdownlint
|
|
|
|
extensions.vscode-marketplace.dbaeumer.vscode-eslint
|
|
|
|
extensions.vscode-marketplace.james-yu.latex-workshop
|
|
|
|
extensions.vscode-marketplace.jnoortheen.nix-ide
|
|
|
|
extensions.vscode-marketplace.mhutchie.git-graph
|
|
|
|
extensions.vscode-marketplace.ms-azuretools.vscode-docker
|
|
|
|
extensions.vscode-marketplace.ms-python.vscode-pylance
|
2024-10-27 20:29:28 +00:00
|
|
|
(extensions.forVSCodeVersion "1.94.2").vscode-marketplace.ms-python.python
|
2024-08-16 11:42:45 +00:00
|
|
|
extensions.vscode-marketplace.ms-python.black-formatter
|
2024-04-18 18:47:47 +00:00
|
|
|
# extensions.vscode-marketplace.ms-python.python
|
2024-10-27 20:29:28 +00:00
|
|
|
(extensions.forVSCodeVersion "1.94.2").vscode-marketplace.ms-toolsai.jupyter
|
2024-09-16 20:31:05 +00:00
|
|
|
# extensions.vscode-marketplace.ms-vscode.cpptools
|
2023-08-28 23:01:23 +00:00
|
|
|
extensions.vscode-marketplace.github.github-vscode-theme
|
|
|
|
extensions.vscode-marketplace.dart-code.flutter
|
|
|
|
extensions.vscode-marketplace.dart-code.dart-code
|
|
|
|
extensions.vscode-marketplace.davidlday.languagetool-linter
|
|
|
|
extensions.vscode-marketplace.eamodio.gitlens
|
|
|
|
extensions.vscode-marketplace.ms-vscode-remote.remote-containers
|
|
|
|
extensions.vscode-marketplace.ms-python.pylint
|
|
|
|
extensions.vscode-marketplace.ms-python.flake8
|
2024-02-09 15:16:20 +00:00
|
|
|
extensions.vscode-marketplace.rust-lang.rust-analyzer
|
2024-06-13 13:20:11 +00:00
|
|
|
# extensions.vscode-marketplace.espressif.esp-idf-extension
|
|
|
|
extensions.vscode-marketplace.platformio.platformio-ide
|
2024-06-05 12:03:09 +00:00
|
|
|
extensions.vscode-marketplace.ms-toolsai.datawrangler
|
2024-10-27 20:29:28 +00:00
|
|
|
# (extensions.forVSCodeVersion "1.94.2").vscode-marketplace.github.copilot-chat
|
2024-06-04 21:45:10 +00:00
|
|
|
extensions.vscode-marketplace.posit.shiny
|
2024-06-25 15:34:05 +00:00
|
|
|
extensions.vscode-marketplace.piousdeer.adwaita-theme
|
2024-10-02 12:00:26 +00:00
|
|
|
# extensions.vscode-marketplace.continue.continue
|
2023-08-28 23:01:23 +00:00
|
|
|
];
|
|
|
|
};
|
|
|
|
|
|
|
|
devShells.default = pkgs.mkShell {
|
|
|
|
buildInputs = [ packages.default ];
|
|
|
|
shellHook = ''
|
|
|
|
printf "VS Code with extensions:\n"
|
|
|
|
code --list-extensions
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
in
|
|
|
|
{
|
|
|
|
inherit packages devShells;
|
2023-08-28 23:36:45 +00:00
|
|
|
channels.nixpkgs.config.allowUnfree = true;
|
2023-08-28 23:01:23 +00:00
|
|
|
});
|
|
|
|
}
|