xv6-cs450/vagrantprov.sh

#!/usr/bin/env bash

apt-get update
apt-get install -y qemu-system-x86
apt-get install -y gdb
echo "set auto-load safe-path /" > /home/vagrant/.gdbinit
Adding Vagrantfile 2014-09-24 14:25:02 +02:00			`#!/usr/bin/env bash`

			`apt-get update`
			`apt-get install -y qemu-system-x86`
			`apt-get install -y gdb`
Fixing provisioning of gdbinit 2014-09-25 08:38:07 +02:00			`echo "set auto-load safe-path /" > /home/vagrant/.gdbinit`