Merge branch 'main' into chore-jsonpointer-desktop-resolutions

This commit is contained in:
Carlos Alcaide Corvo authored and GitHub committed 2021-11-30 13:19:22 -08:00
commit 5293a21e03
1 file changed
+4 -3
+4 -3
View File
@@ -42,9 +42,10 @@ Vagrant.configure("2") do |config|
config.vm.provider "virtualbox" do |vb|
# Display the VirtualBox GUI when booting the machine
vb.gui = true
vb.gui = true
# Customize the amount of memory on the VM:
vb.memory = "4096"
vb.customize ["modifyvm", :id, "--vram", "64"]
end
config.vm.provision "setup", type: "shell", inline: <<-SHELL
@@ -80,8 +81,8 @@ Vagrant.configure("2") do |config|
# Setup for developing desktop
config.vm.provision "development", type: "shell", inline: <<-SHELL
# Setup node 12 source
curl -sL https://deb.nodesource.com/setup_12.x | sudo -E bash -
# Setup node source
curl -sL https://deb.nodesource.com/setup_14.x | sudo -E bash -
sudo apt-get install -y nodejs
sudo apt-get remove cmdtest