aboutsummaryrefslogtreecommitdiff
path: root/Vagrantfile
diff options
context:
space:
mode:
authornthnluu <nate1299@me.com>2024-01-28 21:20:27 -0500
committernthnluu <nate1299@me.com>2024-01-28 21:20:27 -0500
commitc63f340d90800895f007de64b7d2d14624263331 (patch)
tree2c0849fa597dd6da831c8707b6f2603403778d7b /Vagrantfile
Created student weenix repository
Diffstat (limited to 'Vagrantfile')
-rw-r--r--Vagrantfile22
1 files changed, 22 insertions, 0 deletions
diff --git a/Vagrantfile b/Vagrantfile
new file mode 100644
index 0000000..66973b2
--- /dev/null
+++ b/Vagrantfile
@@ -0,0 +1,22 @@
+VAGRANT_BOX_MEMORY = 4096
+VAGRANT_BOX_CPUS = 4
+
+Vagrant.configure("2") do |config|
+
+ # Ubuntu 18
+ config.vm.box = "ubuntu/bionic64"
+
+ # Set the Vagrant box's RAM
+ config.vm.provider :virtualbox do |vb|
+ vb.memory = VAGRANT_BOX_MEMORY
+ vb.cpus = VAGRANT_BOX_CPUS
+ end
+
+ # Add to the vagrant box's provisioning script: install dependencies for weenix
+ config.vm.provision :shell, :inline => %Q{
+ sudo apt-get update
+ sudo apt-get install python2.7 python-minimal cscope nasm make build-essential grub2-common qemu xorriso genisoimage xterm gdb -y
+ cat /vagrant/weenix-scripts.txt >> /home/vagrant/.bashrc
+ source /home/vagrant/.bashrc
+ }
+end