Switch to headless JDK in deboostrap (#248)

It is smaller, and we don't need the GUI libraries.
NZOI · May 15, 2024 · e3d3b4e · e3d3b4e
1 parent 2f097d0
commit e3d3b4e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/script/install/debootstrap.bash b/script/install/debootstrap.bash
@@ -113,7 +113,7 @@ chroot "$ISOLATE_ROOT" apt-get install ruby # Ruby (ruby)
   # LD_ORIGIN_PATH.)
 }
 
-if ! chroot "$ISOLATE_ROOT" apt-cache show openjdk-11-jdk &>/dev/null; then
+if ! chroot "$ISOLATE_ROOT" apt-cache show openjdk-11-jdk-headless &>/dev/null; then
   # add java ppa
   echo "$chroot_cmd add-apt-repository ppa:openjdk-r/ppa -y"
   chroot "$ISOLATE_ROOT" add-apt-repository ppa:openjdk-r/ppa -y
@@ -122,8 +122,8 @@ if ! chroot "$ISOLATE_ROOT" apt-cache show openjdk-11-jdk &>/dev/null; then
   chroot "$ISOLATE_ROOT" apt-get update
 fi
 
-echo "$chroot_install openjdk-11-jdk"
-chroot "$ISOLATE_ROOT" apt-get install openjdk-11-jdk # Java
+echo "$chroot_install openjdk-11-jdk-headless"
+chroot "$ISOLATE_ROOT" apt-get install openjdk-11-jdk-headless # Java
 
 [ -z "$CI" ] && { # if not in CI