update the vagrant file

This commit is contained in:
Andreas Zweili 2017-11-10 21:07:09 +01:00
parent f2b66772f2
commit 81f02a4a71
1 changed files with 6 additions and 3 deletions

View File

@ -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