diff --git a/Vagrantfile b/Vagrantfile deleted file mode 100644 index 31aff8b..0000000 --- a/Vagrantfile +++ /dev/null @@ -1,5 +0,0 @@ -Vagrant.configure("2") do |config| - config.vm.box = "ubuntu/trusty64" - config.vm.provision :shell, path: "bootstrap.sh" -end - diff --git a/bootstrap.sh b/bootstrap.sh deleted file mode 100644 index ab23cb7..0000000 --- a/bootstrap.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/usr/bin/env bash - -echo Installing Rust... -curl -sf https://static.rust-lang.org/rustup.sh | bash -s -- --revision=1.10.0 -y -echo "cd /vagrant" > /home/vagrant/.bashrc - diff --git a/dev b/dev new file mode 100755 index 0000000..0e32354 --- /dev/null +++ b/dev @@ -0,0 +1,14 @@ +#!/usr/bin/env python + +from __future__ import print_function + +import os +from subprocess import call +import sys + +try: + call(['docker', 'run', '-it', '--rm', '-v', os.getcwd() + ':/source', + 'jimmycuadra/rust:1.14.0']) +except OSError: + print('Please install Docker.', file=sys.stderr) +