Dir rename

2020-10-06 14:29:52 +02:00 · 2020-10-06 14:29:52 +02:00 · 06539bba8b
parent 12b55643e2
commit 06539bba8b
5 changed files with 1 additions and 1 deletions
--- a/example/Vagrantfile
+++ b/example/Vagrantfile
@ -69,7 +69,7 @@ Vagrant.configure("2") do |config|
  config.vm.provision "file", source: "../torch.service", destination: "~/torch/"
  config.vm.provision "file", source: "../install-ubuntu2004.sh", destination: "~/torch/"

-  config.vm.provision "file", source: "vagrant-config", destination: "~/torch-conf"
+  config.vm.provision "file", source: "agent-config", destination: "~/torch-conf"

  config.vm.provision "shell", inline: <<-SHELL
  
--- a/example/vagrant-config/ca.crt
+++ b/example/vagrant-config/ca.crt
--- a/example/vagrant-config/torch.conf
+++ b/example/vagrant-config/torch.conf
--- a/example/vagrant-config/vagrant.crt
+++ b/example/vagrant-config/vagrant.crt
--- a/example/vagrant-config/vagrant.key
+++ b/example/vagrant-config/vagrant.key