vagrant

1 files changed, 9 insertions, 36 deletions

diff --git a/vagrant/debian/Vagrantfile b/vagrant/ubuntu/Vagrantfile
index 22740f3..ec5475b 100644
--- a/vagrant/debian/Vagrantfile
+++ b/vagrant/ubuntu/Vagrantfile
@@ -12,7 +12,7 @@ Vagrant.configure("2") do |config|
 
   # Every Vagrant development environment requires a box. You can search for
   # boxes at https://vagrantcloud.com/search.
-  config.vm.box = "debian/buster64"
+  config.vm.box = "bento/ubuntu-20.04"
 
   # Disable automatic box update checking. If you disable this, then
   # boxes will only be checked for updates when the user runs
@@ -47,16 +47,13 @@ Vagrant.configure("2") do |config|
 
   # Provider-specific configuration so you can fine-tune various
   # backing providers for Vagrant. These expose provider-specific options.
-  # Example for VirtualBox:
-  #
-  # config.vm.provider "virtualbox" do |vb|
-  #   # Display the VirtualBox GUI when booting the machine
-  #   vb.gui = true
-  #
-  #   # Customize the amount of memory on the VM:
-  #   vb.memory = "1024"
-  # end
-  #
+
+  config.vm.provider "virtualbox" do |vb|
+    # Building LibEuFin needs a lot of memory ...
+    vb.memory = "2048"
+  end
+
+
   # View the documentation for the provider you are using for more
   # information on available options.
 
@@ -64,36 +61,12 @@ Vagrant.configure("2") do |config|
   # Ansible, Chef, Docker, Puppet and Salt are also available. Please see the
   # documentation for more information about their specific syntax and use.
   config.vm.provision "shell", inline: <<-SHELL
-    cat > /etc/apt/preferences <<EOF
-Package: *
-Pin: release a=stable
-Pin-Priority: 700
-
-Package: *
-Pin: release a=testing
-Pin-Priority: 650
-
-Package: *
-Pin: release a=unstable
-Pin-Priority: 600
-
-Package: *
-Pin: release l=Debian-Security
-Pin-Priority: 1000
-EOF
-
-    cat > /etc/apt/sources.list.d/testing-unstable.list <<EOF
-deb http://deb.debian.org/debian testing main
-deb http://deb.debian.org/debian unstable main
-EOF
-
     apt-get update
     apt-get upgrade
     apt-get install -y gnupg
 
-
     cat > /etc/apt/sources.list.d/taler.list <<EOF
-deb https://deb.taler.net/apt/debian sid main
+deb https://deb.taler.net/apt/ubuntu focal-fossa main
 EOF