We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 59dc560 commit 8ad0e5eCopy full SHA for 8ad0e5e
play.sh
@@ -46,10 +46,12 @@ if [[ -z "$(vagrant plugin list | grep -o 'vagrant-disksize')" ]]; then
46
vagrant plugin install vagrant-disksize
47
fi
48
49
-CACHED_BOX="$HOME/.cache/sqlflow/ubuntu-bionic64.box"
50
-if [[ -f $CACHED_BOX ]]; then
51
- echo "Found and use cached box $CACHED_BOX"
52
- vagrant box add ubuntu/bionic64 $CACHED_BOX
+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"
53
+ vagrant box add ubuntu/bionic64 $CACHED_BOX
54
+ fi
55
56
57
echo "Start and provision the playgound VM ..."
0 commit comments