all: Don't install JDK to user profile

Under macOS, we install JDK to /Library/Java/JavaVirtualMachines. With Linux, it can instead be installed system-wide.

flake.lock

@@ -93,11 +93,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1744038920,
-        "narHash": "sha256-9a4V1wQXS8hXZtc7mRtz0qINkGW+C99aDrmXY6oYBFg=",
+        "lastModified": 1744138333,
+        "narHash": "sha256-l0Vjq1EZoYTfWImVmwsvMEuIdasrBRRCoNTV0rNtYi0=",
         "owner": "nix-community",
         "repo": "home-manager",
-        "rev": "a4d8020820a85b47f842eae76ad083b0ec2a886a",
+        "rev": "760eed59594f2f258db0d66b7ca4a5138681fd97",
         "type": "github"
       },
       "original": {

home/desktop.nix

@@ -22,7 +22,6 @@
     # telnet
     inetutils
     ipsw
-    jdk23
     jq
     libimobiledevice
     libusbmuxd

hosts/linux/shared.nix

@@ -102,11 +102,12 @@
     # we need to manually add the Adwaita GTK 3 dark mode theme.
     adw-gtk3
     firefox
-    htop
     git
     github-desktop
     gnome-tweaks
     gnomeExtensions.appindicator
+    htop
+    jdk23
     minicom
     pciutils
     seafile-client