update plugins
This commit is contained in:
parent
dc32eaa8a5
commit
70dc397181
|
@ -2,6 +2,7 @@
|
||||||
# Plugin list to build our IDE's with
|
# Plugin list to build our IDE's with
|
||||||
buildIdeWithPlugins = ide:
|
buildIdeWithPlugins = ide:
|
||||||
pkgs.jetbrains.plugins.addPlugins ide [
|
pkgs.jetbrains.plugins.addPlugins ide [
|
||||||
|
"ideavim" # vim engine
|
||||||
"github-copilot" # patched to work with NixOS
|
"github-copilot" # patched to work with NixOS
|
||||||
|
|
||||||
# Plugin ID: gruvbox-material-dark
|
# Plugin ID: gruvbox-material-dark
|
||||||
|
@ -20,12 +21,32 @@
|
||||||
})
|
})
|
||||||
];
|
];
|
||||||
in {
|
in {
|
||||||
|
# List of packages to be installed
|
||||||
|
home.packages = with pkgs; [
|
||||||
|
# Toolchain
|
||||||
|
gcc
|
||||||
|
unstable.python313Full # Note: keep this in sync with school.
|
||||||
|
|
||||||
|
# Typesetting
|
||||||
|
pandoc # Markup Converter
|
||||||
|
texlive.combined.scheme-full # TeX Distribution
|
||||||
|
|
||||||
|
# Install jetbrains IDE's with plugins
|
||||||
|
(buildIdeWithPlugins pkgs.jetbrains.clion)
|
||||||
|
(buildIdeWithPlugins pkgs.jetbrains.idea-ultimate)
|
||||||
|
(buildIdeWithPlugins pkgs.jetbrains.pycharm-professional)
|
||||||
|
];
|
||||||
|
|
||||||
# Enable Visual Studio Code (VSCode) program
|
# Enable Visual Studio Code (VSCode) program
|
||||||
programs.vscode = {
|
programs.vscode = {
|
||||||
enable = true;
|
enable = true;
|
||||||
package = pkgs.unstable.vscode;
|
package = pkgs.unstable.vscode;
|
||||||
extensions = with pkgs.vscode-extensions; [
|
extensions = with pkgs.vscode-extensions; [
|
||||||
sainnhe.gruvbox-material # Gruvbox Material theme
|
sainnhe.gruvbox-material # Gruvbox with softer contrast
|
||||||
|
vscodevim.vim # Vim Emulation
|
||||||
|
james-yu.latex-workshop # Core features for LaTeX typesetting
|
||||||
|
|
||||||
|
# Artificial Intelligence
|
||||||
github.copilot
|
github.copilot
|
||||||
github.copilot-chat
|
github.copilot-chat
|
||||||
];
|
];
|
||||||
|
@ -36,16 +57,4 @@ in {
|
||||||
"workbench.colorTheme" = "Gruvbox Material Dark";
|
"workbench.colorTheme" = "Gruvbox Material Dark";
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
# List of packages to be installed
|
|
||||||
home.packages = with pkgs; [
|
|
||||||
# Toolchain
|
|
||||||
gcc
|
|
||||||
unstable.python313Full # Note: keep this in sync with school.
|
|
||||||
|
|
||||||
# Install jetbrains IDE's with plugins
|
|
||||||
(buildIdeWithPlugins pkgs.jetbrains.clion)
|
|
||||||
(buildIdeWithPlugins pkgs.jetbrains.idea-ultimate)
|
|
||||||
(buildIdeWithPlugins pkgs.jetbrains.pycharm-professional)
|
|
||||||
];
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue