1- add ( pull ) a box from app.vagrant


1- add an Archlinux box  ( for virtualbox ) 

vagrant box add archlinux/archlinux

vagrant box list

vagrant box add archlinux/archlinux
PS C:\Users\jkriker\Documents\vagrant\veos.box2> vagrant box add archlinux/archlinux
==> box: Loading metadata for box 'archlinux/archlinux'
    box: URL: https://vagrantcloud.com/archlinux/archlinux
This box can work with multiple providers! The providers that it
can work with are listed below. Please review the list and choose
the provider you will be working with.

1) libvirt
2) virtualbox

Enter your choice: 2
==> box: Adding box 'archlinux/archlinux' (v2018.09.05) for provider: virtualbox
    box: Downloading: https://vagrantcloud.com/archlinux/boxes/archlinux/versions/2018.09.05/providers/virtualbox.box
    box: Progress: 100% (Rate: 249k/s, Estimated time remaining: --:--:--)
==> box: Successfully added box 'archlinux/archlinux' (v2018.09.05) for 'virtualbox'!
PS C:\Users\jkriker\Documents\vagrant\veos.box2>


PS C:\Users\jkriker\Documents\vagrant\veos.box2> vagrant box list
arch                      (virtualbox, 0)
archlinux/archlinux       (virtualbox, 2018.09.05)
bento/centos-7.3          (virtualbox, 2.3.4)
. . . 

2- install the disksize plugin


vagrant plugin install vagrant-disksize

vagrant plugin list


3- Modify the vagrantfile


Vagrantfile
Vagrant.configure("2") do |config|
  config.vm.box = "archlinux/archlinux"
  #config.disksize.size = "20GB"
end


#vagrant up
#vagrant ssh
(at the end #vagrant suspend / resume  or  #vagrant destroy  )