School: rename idea.nix to jetbrains.nix
This commit is contained in:
parent
a07ddd315c
commit
d93115b35c
2 changed files with 1 additions and 1 deletions
31
roles/school/programs/jetbrains.nix
Normal file
31
roles/school/programs/jetbrains.nix
Normal file
|
|
@ -0,0 +1,31 @@
|
|||
{pkgs, ...}:
|
||||
with pkgs; {
|
||||
environment.systemPackages = with jetbrains; [
|
||||
idea-ultimate
|
||||
];
|
||||
|
||||
home-manager.users.toast = {
|
||||
# Install plugins
|
||||
home.file = {
|
||||
".local/share/JetBrains/IntelliJIdea2023.3/catppuccin.jar".source = fetchurl {
|
||||
url = "https://github.com/catppuccin/jetbrains/releases/download/v3.2.3/Catppuccin.Theme-3.2.3.jar";
|
||||
hash = "sha256-v5BZ2UKEBA/0DHKGwmprmuu0RcJCDsxzWmCdnX9aXpE=";
|
||||
};
|
||||
".local/share/JetBrains/IntelliJIdea2023.3/rainbow-brackets".source = fetchzip {
|
||||
url = "https://github.com/izhangzhihao/intellij-rainbow-brackets/releases/download/latest/intellij-rainbow-brackets-2023.3.9-233.zip";
|
||||
hash = "sha256-faMDP6kU21WOHVjY5Aj4/Glqymo1iUCTuUJdHsq1N/s=";
|
||||
};
|
||||
".local/share/JetBrains/IntelliJIdea2023.3/catppuccin-icons.jar".source = fetchurl {
|
||||
url = "https://github.com/catppuccin/jetbrains-icons/releases/download/v1.1.1/Catppuccin.Icons-1.1.1.jar";
|
||||
hash = "sha256-Bn0Yn0RlNmJQCSC0MJQrKjeERzfHhupWnyYm0YjXFwY=";
|
||||
};
|
||||
};
|
||||
|
||||
/*
|
||||
If you use programs.java.enable intellij picks up the jdk package directly, which is not ideal
|
||||
This adds the jdks I want to use to a directory intellij expects jdks to be
|
||||
*/
|
||||
home.file.".jdks/jdk8".source = "${pkgs.jdk8}/lib/openjdk";
|
||||
home.file.".jdks/jdk17".source = "${pkgs.jdk17}/lib/openjdk";
|
||||
};
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue