mirror of
https://github.com/armbian/build
synced 2025-09-24 19:47:06 +07:00
Install vagrant-disksize automatically (#1545)
Signed-off-by: Tian Yuanhao <tianyuanhao@aliyun.com>
This commit is contained in:
committed by
Igor Pečovnik
parent
1f2be1da47
commit
cb91bf593c
6
Vagrantfile
vendored
6
Vagrantfile
vendored
@@ -18,12 +18,8 @@ Vagrant.configure(2) do |config|
|
||||
config.vm.box = "ubuntu/bionic64"
|
||||
config.vm.box_version = ">= 20180719.0.0"
|
||||
|
||||
#######################################################################
|
||||
# THIS REQUIRES YOU TO INSTALL A PLUGIN. RUN THE COMMAND BELOW...
|
||||
#
|
||||
# $ vagrant plugin install vagrant-disksize
|
||||
#
|
||||
# Default images are not big enough to build Armbian.
|
||||
config.vagrant.plugins = "vagrant-disksize"
|
||||
config.disksize.size = "40GB"
|
||||
|
||||
# provisioning: install dependencies, download the repository copy
|
||||
|
||||
@@ -6,14 +6,8 @@
|
||||
# remove "vagrant" from the command line since "vagrant-guest" will be passed instead
|
||||
shift
|
||||
|
||||
# check and install vagrant-disksize
|
||||
if ! grep -q '^vagrant-disksize' <(vagrant plugin list); then
|
||||
display_alert "Trying to install vargant-disksize plugin"
|
||||
vagrant plugin install vagrant-disksize
|
||||
fi
|
||||
|
||||
display_alert "Building and running the Vagrant box"
|
||||
vagrant up
|
||||
VAGRANT_INSTALL_LOCAL_PLUGINS=1 vagrant up || vagrant up
|
||||
|
||||
display_alert "SSH config for the Vagrant box"
|
||||
vagrant ssh-config
|
||||
|
||||
Reference in New Issue
Block a user