Merge pull request #25 from wangkuiyi/use_vbox_cache

Use vbox cache

Author: wangkuiyi

Vagrantfile

@@ -6,7 +6,7 @@ Vagrant.configure("2") do |config|
   config.vm.provision "shell", path: "provision.bash"
 
   # Enlarge disk size from default '10G' to '20G'
-  # This need the vagrant-disksize plugin which is installed in install.bash
+  # This need the vagrant-disksize plugin which is installed in play.sh.
   config.disksize.size = '20GB'
 
   # Don't forward 22.  Even if we do so, the exposed port only binds

dev.md

@@ -11,11 +11,20 @@
 1. To suspend the VM, run `vagrant halt`.  You can run `vagrant up` later to resume it.
 1. To completely destroy the VM and re-provision it, run `vagrant destroy` and `vagrant up`.
 
-We have provided an install shell script for you to get an easy initialization.  You can run it with:
+We provided a shell script to start a VM running the SQLFlow service.
+
+```bash
+./play.sh
+```
+
+If you have a slow Internet connection to Vagrant Cloud, you might want to
+download the Ubuntu VirtualBox image manually from some mirror sites into
+`~/.cache/sqlflow/` before running the above script.
+
 ```bash
-./install.sh [inchina]
+curl -Lo $HOME/.cache/sqlflow/ubuntu-bionic64.box \
+  "https://mirrors.ustc.edu.cn/ubuntu-cloud-images/bionic/current/bionic-server-cloudimg-amd64-vagrant.box"
 ```
-It will guide you to setup the vagrant environment.  Especially, for developers in China, you may add the `inchina` param to download the ubuntu box for vagrant beforehand.  After the initialization, you will have a virtual machine named `playground_default...` in VirtualBox which is already provisioned.  You may follow the direction of the output to get things done.
 
 ### For Releaser
 

install.bash

@@ -0,0 +1,58 @@
+#!/bin/bash
+
+# Copyright 2020 The SQLFlow Authors. All rights reserved.
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+set -e
+
+cat <<EOF
+ ___  ___  _    ___ _
+/ __|/ _ \| |  | __| |_____ __ __
+\__ \ (_) | |__| _|| / _ \ V  V /
+|___/\__\_\____|_| |_\___/\_/\_/
+
+EOF
+
+if ! which vagrant >/dev/null; then
+    cat <<EOF
+We need Vagrant to run the playground.
+
+Linux users can refer to https://www.vagrantup.com/downloads.html for the
+installation guide.
+
+macOS users can install Vagrant using Homebrew:
+  brew cask install vagrant
+EOF
+    exit 1
+fi
+
+if [[ -n "$(vagrant global-status --prune | grep -o 'playground')" ]]; then
+    echo "The playground VM is running."
+    exit 0
+fi
+
+if [[ -z "$(vagrant plugin list | grep -o 'vagrant-disksize')" ]]; then
+    echo "Install Vagrant disk size plugin ..."
+    vagrant plugin install vagrant-disksize
+fi
+
+if [[ -z "$(vagrant box list | grep 'ubuntu/bionic64')" ]]; then
+    CACHED_BOX="$HOME/.cache/sqlflow/ubuntu-bionic64.box"
+    if [[ -f $CACHED_BOX ]]; then
+        echo "Found and use cached box $CACHED_BOX"
+        vagrant box add ubuntu/bionic64 $CACHED_BOX
+    fi
+fi
+
+echo "Start and provision the playgound VM ..."
+vagrant up