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