From d6d66767be6a40673d81a914c70014a2aff1bb7c Mon Sep 17 00:00:00 2001
From: Oliver Behnke <oliver.behnke@aei.mpg.de>
Date: Tue, 27 Nov 2018 11:41:25 +0100
Subject: [PATCH] [android][vagrant] fix/upgrade ubuntu-make (switch to
 recommended repo)

---
 android/Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/android/Vagrantfile b/android/Vagrantfile
index 3fec3e06ed..ea102f0996 100644
--- a/android/Vagrantfile
+++ b/android/Vagrantfile
@@ -111,7 +111,7 @@ Vagrant.configure("2") do |config|
   # Puppet, Chef, Ansible, Salt, and Docker are also available. Please see the
   # documentation for more information about their specific syntax and use.
   config.vm.provision "shell", name: "Preparing desktop environment...", inline: <<-SHELL
-      add-apt-repository ppa:ubuntu-desktop/ubuntu-make
+      add-apt-repository ppa:lyzardking/ubuntu-make
       apt-get update
       apt-get upgrade
       apt-get --assume-yes install ubuntu-mate-core virtualbox-guest-x11