From e99cf1e064a9ded6605c8a9995ef083fe0034a63 Mon Sep 17 00:00:00 2001 From: jasmine Date: Mon, 23 Jun 2025 23:17:05 +0800 Subject: [PATCH] install openjdk 17 --- home-manager/sajenim/features/editors/default.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/home-manager/sajenim/features/editors/default.nix b/home-manager/sajenim/features/editors/default.nix index e4f97aa..e501e94 100644 --- a/home-manager/sajenim/features/editors/default.nix +++ b/home-manager/sajenim/features/editors/default.nix @@ -7,6 +7,7 @@ [ # Toolchains gcc + jdk17 python313 # Typesetting