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
|
2023-11-06 12:43:49 +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
|
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
|
2023-09-09 15:31:11 +00:00
|
|
|
# (extensions.forVSCodeVersion "1.81.1").vscode-marketplace.ms-python.python
|
2023-11-06 12:17:50 +00:00
|
|
|
extensions.vscode-marketplace.ms-python.python
|
2023-08-28 23:01:23 +00:00
|
|
|
extensions.vscode-marketplace.ms-toolsai.jupyter
|
|
|
|
extensions.vscode-marketplace.ms-vscode.cpptools
|
|
|
|
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
|
2023-11-06 12:53:32 +00:00
|
|
|
# (extensions.forVSCodeVersion "1.83.1").vscode-marketplace.github.copilot-chat
|
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
|
|
|
});
|
|
|
|
}
|