migrate packages to home manager

This commit is contained in:
2023-10-28 15:09:54 +02:00
parent 2384dc11a9
commit 5a9a6ea04f
8 changed files with 142 additions and 22 deletions

View File

@@ -1,7 +1,7 @@
{ pkgs, version, build }: pkgs.jetbrains.idea-ultimate.overrideAttrs(prev: {
version = "${version}";
build_number = "${build}";
{ pkgs }: pkgs.jetbrains.idea-ultimate.overrideAttrs(prev: {
version = "2023.2.4";
src = builtins.fetchurl {
url = "https://download.jetbrains.com/idea/ideaIU-${version}.tar.gz";
url = "https://download.jetbrains.com/idea/ideaIU-2023.2.4.tar.gz";
sha256 = "26fea1a8597e8124dcc24e8ed1dd6f5268e0cd1ba736bbe0e22df3f635ad280b";
};
});
})