From 81f02a4a71e9ea314c772217cf8c1532f06b7089 Mon Sep 17 00:00:00 2001 From: Andreas Zweili Date: Fri, 10 Nov 2017 21:07:09 +0100 Subject: [PATCH] update the vagrant file --- vagrant/webtech/Vagrantfile | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/vagrant/webtech/Vagrantfile b/vagrant/webtech/Vagrantfile index da4989e..a08bfa1 100644 --- a/vagrant/webtech/Vagrantfile +++ b/vagrant/webtech/Vagrantfile @@ -22,7 +22,8 @@ Vagrant.configure("2") do |config| # Create a forwarded port mapping which allows access to a specific port # within the machine from a port on the host machine. In the example below, # accessing "localhost:8080" will access port 80 on the guest machine. - config.vm.network "forwarded_port", guest: 80, host: 8080 + config.vm.network "forwarded_port", guest: 80, host: 8000 + config.vm.network "forwarded_port", guest: 8080, host: 8080 # Create a private network, which allows host-only access to the machine # using a specific IP. @@ -37,7 +38,8 @@ Vagrant.configure("2") do |config| # the path on the host to the actual folder. The second argument is # the path on the guest to mount the folder. And the optional third # argument is a set of non-required options. - config.vm.synced_folder "/home/andreas/git_repos/ibz_repos/ibz/web/1_sem/", "/var/www/html" + config.vm.synced_folder "/home/andreas/git_repos/ibz_repos/ibz/web/3_sem/tomcat", "/vagrant/tomcat/webapps" + config.vm.synced_folder "/home/andreas/git_repos/ibz_repos/ibz/web/3_sem/html", "/var/www/html" # Provider-specific configuration so you can fine-tune various # backing providers for Vagrant. These expose provider-specific options. @@ -66,7 +68,8 @@ Vagrant.configure("2") do |config| # documentation for more information about their specific syntax and use. config.vm.provision "shell", inline: <<-SHELL apt-get update - apt-get install -y apache2 php7.0 + apt-get install -y apache2 php7.0 openjdk-8-jre-headless + /vagrant/tomcat/bin/startup.sh SHELL end