From 17539f571cff60af8bbe236f958aa023d917fd45 Mon Sep 17 00:00:00 2001
From: Emil Lundberg <emil@yubico.com>
Date: Tue, 3 Oct 2017 16:03:54 +0200
Subject: [PATCH] Add Vagrantfile for a VM with bikeshed installed

---
 .gitignore                    |  3 ++-
 README.md                     |  3 +++
 vagrant/bikeshed/README.md    | 13 +++++++++++++
 vagrant/bikeshed/Vagrantfile  | 10 ++++++++++
 vagrant/bikeshed/provision.sh |  8 ++++++++
 5 files changed, 36 insertions(+), 1 deletion(-)
 create mode 100644 vagrant/bikeshed/README.md
 create mode 100644 vagrant/bikeshed/Vagrantfile
 create mode 100644 vagrant/bikeshed/provision.sh

diff --git a/.gitignore b/.gitignore
index dacd14404..05d98760f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
-bikeshed/
+/bikeshed/
+.vagrant/
 index.html
diff --git a/README.md b/README.md
index d5c8a6237..e05418998 100644
--- a/README.md
+++ b/README.md
@@ -38,6 +38,9 @@ pip install --editable ./bikeshed
 cp -R .spec-data/* ./bikeshed/bikeshed/spec-data
 ```
 
+Alternatively, you can use the [Vagrant VM with `bikeshed` already installed](vagrant/bikeshed).
+
+
 # Continuous Integration & Branches
 
 This repository uses `.deploy-output.sh` to generate the Editor's Draft on the `gh-pages` branch upon every merge to `master`. In order to prevent failed merges during continuous integration, the formatted Editor's Draft should not be checked in to `master`, and it is in the `.gitignore` file.
diff --git a/vagrant/bikeshed/README.md b/vagrant/bikeshed/README.md
new file mode 100644
index 000000000..e858f2758
--- /dev/null
+++ b/vagrant/bikeshed/README.md
@@ -0,0 +1,13 @@
+Vagrant VM with `bikeshed`
+===
+
+Usage:
+
+    alice@work $ cd webauthn/vagrant/bikeshed
+    alice@work $ vagrant up
+    alice@work $ vagrant ssh
+    ubuntu@ubuntu-xenial $ cd /vagrant
+    ubuntu@ubuntu-xenial $ bikeshed spec
+    ubuntu@ubuntu-xenial $ exit
+    alice@work $ $BROWSER ../../index.html
+    alice@work $ vagrant destroy
diff --git a/vagrant/bikeshed/Vagrantfile b/vagrant/bikeshed/Vagrantfile
new file mode 100644
index 000000000..7b8e2b5c4
--- /dev/null
+++ b/vagrant/bikeshed/Vagrantfile
@@ -0,0 +1,10 @@
+Vagrant.configure("2") do |config|
+  # Use Ubuntu 16.04 Xenial as a base box.
+  config.vm.box = "ubuntu/xenial64"
+
+  # Install bikeshed
+  config.vm.provision "shell", path: "provision.sh"
+
+  # Mount project directory at /vagrant
+  config.vm.synced_folder '../..', '/vagrant'
+end
diff --git a/vagrant/bikeshed/provision.sh b/vagrant/bikeshed/provision.sh
new file mode 100644
index 000000000..705b4e433
--- /dev/null
+++ b/vagrant/bikeshed/provision.sh
@@ -0,0 +1,8 @@
+#! /usr/bin/env bash
+
+sudo apt-get update -qq
+sudo apt-get install -qq python python-pip python-pygments
+
+git clone --depth=1 --branch=master https://github.com/tabatkins/bikeshed.git /vagrant/bikeshed
+pip install --editable /vagrant/bikeshed
+cp -R /vagrant/.spec-data/* /vagrant/bikeshed/bikeshed/spec-data/