From 454f8a17730e3e59fb4c543514845ed652daf0c0 Mon Sep 17 00:00:00 2001
From: Matt <matthew.morley.ca@gmail.com>
Date: Fri, 21 Jul 2023 06:13:36 -0700
Subject: [PATCH] Install JRE instead of JDK in install script (#883)

Should reduce the size of packages needed to be downloaded
---
 scripts/install.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/scripts/install.sh b/scripts/install.sh
index 8e00390c0..61cb52fae 100755
--- a/scripts/install.sh
+++ b/scripts/install.sh
@@ -53,11 +53,11 @@ else
     echo 'GOVERNOR=performance' > /etc/default/cpufrequtils
 fi
 
-echo "Installing the JDK..."
-if ! package_is_installed openjdk-11-jdk-headless
+echo "Installing the JRE..."
+if ! package_is_installed openjre-11-jre-headless
 then
    apt-get update
-   apt-get install --yes openjdk-11-jdk-headless
+   apt-get install --yes openjre-11-jre-headless
 fi
 echo "JDK installation complete."