From d93115b35cd3ff690dcc9379a7af629072518efa Mon Sep 17 00:00:00 2001 From: Toast Date: Mon, 25 Mar 2024 09:39:52 +0100 Subject: [PATCH 1/3] School: rename idea.nix to jetbrains.nix --- roles/school/programs/default.nix | 2 +- roles/school/programs/{idea.nix => jetbrains.nix} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename roles/school/programs/{idea.nix => jetbrains.nix} (100%) diff --git a/roles/school/programs/default.nix b/roles/school/programs/default.nix index 2bbc214..24452c0 100644 --- a/roles/school/programs/default.nix +++ b/roles/school/programs/default.nix @@ -1,7 +1,7 @@ {pkgs, ...}: { imports = [ ./virtualbox.nix - ./idea.nix + ./jetbrains.nix ./vscode.nix ./helix.nix ./unity.nix diff --git a/roles/school/programs/idea.nix b/roles/school/programs/jetbrains.nix similarity index 100% rename from roles/school/programs/idea.nix rename to roles/school/programs/jetbrains.nix From bfbf57b1801c6cb19b5cc290a06c7f914924d631 Mon Sep 17 00:00:00 2001 From: Toast Date: Mon, 25 Mar 2024 10:10:30 +0100 Subject: [PATCH 2/3] School: install datagrip --- roles/school/programs/jetbrains.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/roles/school/programs/jetbrains.nix b/roles/school/programs/jetbrains.nix index 7f818a5..a7f5528 100644 --- a/roles/school/programs/jetbrains.nix +++ b/roles/school/programs/jetbrains.nix @@ -2,6 +2,7 @@ with pkgs; { environment.systemPackages = with jetbrains; [ idea-ultimate + datagrip ]; home-manager.users.toast = { From 27ebce4fc6fd9c8c8b46e705aafd26a887cb1026 Mon Sep 17 00:00:00 2001 From: Toast Date: Mon, 25 Mar 2024 10:19:32 +0100 Subject: [PATCH 3/3] School/jetbrains: do not install plugins I sync plugins now with the settings sync feature, so I don't need this --- roles/school/programs/jetbrains.nix | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/roles/school/programs/jetbrains.nix b/roles/school/programs/jetbrains.nix index a7f5528..ecf5c90 100644 --- a/roles/school/programs/jetbrains.nix +++ b/roles/school/programs/jetbrains.nix @@ -6,22 +6,6 @@ with pkgs; { ]; 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