From 82e226dc3105c44c49e2865b09d4177b7a0ff657 Mon Sep 17 00:00:00 2001 From: "Scott W. Bradley" Date: Tue, 29 May 2018 20:12:59 -0700 Subject: [PATCH] WIP: Add a script to install JRE - not fully tested yet. --- Vagrantfile | 3 +++ scripts/jre.sh | 7 +++++++ 2 files changed, 10 insertions(+) create mode 100644 scripts/jre.sh diff --git a/Vagrantfile b/Vagrantfile index ae197b01..f2361f21 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -256,6 +256,9 @@ Vagrant.configure("2") do |config| # optimize base box config.vm.provision "shell", path: "#{github_url}/scripts/base_box_optimizations.sh", privileged: true + # Provision Java Runtime Environment + # config.vm.provision "shell", path: "#{github_url}/scripts/jre.sh" + # Provision PHP #config.vm.provision "shell", path: "#{github_url}/scripts/php.sh", args: [php_timezone, hhvm, php_version] diff --git a/scripts/jre.sh b/scripts/jre.sh new file mode 100644 index 00000000..d06ad45a --- /dev/null +++ b/scripts/jre.sh @@ -0,0 +1,7 @@ +#!/usr/bin/env bash + +echo ">>> Installing Java Runtime - Default JRE" + +# Java +# -qq implies -y --force-yes +sudo apt-get install -qq default-jre