From e7acc2fddf3bc6b72723a5bd0d831b61d052743e Mon Sep 17 00:00:00 2001
From: Kevin Jing Qiu <kevin@idempotent.ca>
Date: Fri, 2 Jun 2017 19:03:43 -0400
Subject: [PATCH] Update doc for Vagrant install

---
 Vagrantfile     | 2 +-
 docs/vagrant.md | 8 ++++++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index e133bdc31..2134dfa56 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -23,7 +23,7 @@ $vm_cpus = 1
 $shared_folders = {}
 $forwarded_ports = {}
 $subnet = "172.17.8"
-$os = "coreos-stable"
+$os = "ubuntu"
 $box = SUPPORTED_OS[$os][:box]
 # The first three nodes are etcd servers
 $etcd_instances = $num_instances
diff --git a/docs/vagrant.md b/docs/vagrant.md
index 02132c140..ea08536d4 100644
--- a/docs/vagrant.md
+++ b/docs/vagrant.md
@@ -39,3 +39,11 @@ k8s-01    Ready     45s
 k8s-02    Ready     45s
 k8s-03    Ready     45s
 ```
+
+Use alternative OS for Vagrant
+==============================
+
+By default, Vagrant uses Ubuntu 16.04 box to provision a local cluster. You may use an alternative supported
+operating system for your local cluster. Change `$os` variable in `Vagrantfile` to another operating system to change
+the vagrant base box. The supported operating systems for vagrant are defined in the `SUPPORTED_OS` constant in
+the `Vagrantfile`.