From 042627eb4e6fbc01db3391b59f2b680bb460ed56 Mon Sep 17 00:00:00 2001 From: ariarijp Date: Mon, 1 Oct 2018 10:38:25 +0900 Subject: [PATCH] Remove Vagrant files --- Vagrantfile | 29 ----------------------------- ubuntu_setup.sh | 19 ------------------- 2 files changed, 48 deletions(-) delete mode 100644 Vagrantfile delete mode 100644 ubuntu_setup.sh diff --git a/Vagrantfile b/Vagrantfile deleted file mode 100644 index d313e06..0000000 --- a/Vagrantfile +++ /dev/null @@ -1,29 +0,0 @@ -# -*- mode: ruby -*- -# vi: set ft=ruby : - -Vagrant.configure("2") do |config| - config.vm.box = "ubuntu/xenial64" - config.vm.network "forwarded_port", guest: 80, host: 8080 - config.vm.provider "virtualbox" do |vb| - vb.cpus = "2" - vb.memory = "2048" - end - config.vm.provision "shell", inline: <<-SHELL - sed -i s/archive.ubuntu.com/ftp.jaist.ac.jp/ /etc/apt/sources.list - bash /vagrant/ubuntu_setup.sh - cat <