From 7e3dc3cb9755d18233adb08582ea0de58071903e Mon Sep 17 00:00:00 2001
From: Toast <toast003@tutamail.com>
Date: Mon, 23 Oct 2023 11:50:10 +0200
Subject: [PATCH] Intellij: use fetchurl from pkgs instead of builtins

---
 roles/school/programs/idea.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/roles/school/programs/idea.nix b/roles/school/programs/idea.nix
index 2ee7f0c..6e06d17 100644
--- a/roles/school/programs/idea.nix
+++ b/roles/school/programs/idea.nix
@@ -1,13 +1,14 @@
  { config, pkgs, ... }:
 
+with pkgs;
 {
-	environment.systemPackages = with pkgs; with jetbrains; [
+	environment.systemPackages = with jetbrains; [
 		idea-ultimate
 	];
 
 	home-manager.users.toast = {
 		# Install plugins
-		home.file.".local/share/JetBrains/IntelliJIdea2023.2/catppuccin.jar".source = builtins.fetchurl {
+		home.file.".local/share/JetBrains/IntelliJIdea2023.2/catppuccin.jar".source = fetchurl {
 			url = "https://github.com/catppuccin/jetbrains/releases/download/v2.2.0/Catppuccin.Theme-2.2.0.jar";
 			sha256 = "143jrhdfg7q24mnnzgqwgxq4glsxznxc6awcifpghr9q6nw1hfi0";
 		};