From e3d3b4ef80a609c283dd771540d36366fab491ae Mon Sep 17 00:00:00 2001 From: Tom Levy Date: Wed, 26 Feb 2020 00:29:45 +1300 Subject: [PATCH] Switch to headless JDK in deboostrap (#248) It is smaller, and we don't need the GUI libraries. --- script/install/debootstrap.bash | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/script/install/debootstrap.bash b/script/install/debootstrap.bash index f259fb38..7324634d 100644 --- 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