Skip to content

Instantly share code, notes, and snippets.

@hawkw
Created June 12, 2018 22:57
Show Gist options
  • Save hawkw/19e2ea52fc970916ab8c2110fc6731b5 to your computer and use it in GitHub Desktop.
Save hawkw/19e2ea52fc970916ab8c2110fc6731b5 to your computer and use it in GitHub Desktop.
Conduit Vagrantfile
# -*- mode: ruby -*-
# vi: set ft=ruby :
#
### Using this ###
#
# In the Conduit repo's root directory:
# $ vagrant up
# Followed by:
# $ vagrant ssh
# You will be logged in to `/home/vagrant`, and the conduit sources will
# be available in `/conduit`. Any builds you run inside of Vagrant will
# *not* clobber your local build artefacts :)
Vagrant.configure("2") do |config|
config.vm.box = "ubuntu/trusty64"
config.vm.synced_folder ".", "/conduit", type: "rsync",
rsync__exclude: [".git/", "vendor/", "target/"]
# Provision the VM with a shell script.
config.vm.provision "shell", inline: <<-SHELL
sudo apt-get update
sudo apt-get install -y curl
sudo apt-get install -y gdb
su - vagrant -c 'curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain=1.26.0'
printf '\nexport PATH=$HOME/.cargo/bin/:$PATH' >> /etc/bash.bashrc
printf '\nexport CARGO_TARGET_DIR=$HOME/vagrant-target' >> /etc/bash.bashrc
SHELL
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment