fyb/p4tutorials-turkce
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Without these additions, some files did not have execute permissions (#427)

Browse Source 
when running 'vagrant up' on a Windows 10 host OS.
This commit is contained in:
Andy Fingerhut 2021-09-13 09:03:45 -07:00 committed by GitHub
parent 4f13704e4f
commit ad024371a8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
vm-ubuntu-20.04/Vagrantfile vendored
View File

@ -25,10 +25,12 @@ Vagrant.configure(2) do |config|
config.vm.provision "file", source: "p4_16-mode.el", destination: "/home/vagrant/p4_16-mode.el"
config.vm.provision "file", source: "p4.vim", destination: "/home/vagrant/p4.vim"
config.vm.provision "file", source: "py3localpath.py", destination: "/home/vagrant/py3localpath.py"
config.vm.provision "shell", inline: "chmod 755 /home/vagrant/py3localpath.py"
config.vm.provision "file", source: "patches/disable-Wno-error-and-other-small-changes.diff", destination: "/home/vagrant/patches/disable-Wno-error-and-other-small-changes.diff"
config.vm.provision "file", source: "patches/behavioral-model-use-correct-libssl-pkg.patch", destination: "/home/vagrant/patches/behavioral-model-use-correct-libssl-pkg.patch"
config.vm.provision "file", source: "patches/mininet-dont-install-python2.patch", destination: "/home/vagrant/patches/mininet-dont-install-python2.patch"
config.vm.provision "file", source: "clean.sh", destination: "/home/vagrant/clean.sh"
config.vm.provision "shell", inline: "chmod 755 /home/vagrant/clean.sh"
config.vm.provision "shell", path: "root-bootstrap.sh"
config.vm.provision "shell", privileged: false, path: "user-bootstrap.sh"
end