Merge pull request #273

4b0a375 Vagrantfile update (djb)

Author: douglasbakkum

Vagrantfile

@@ -6,9 +6,10 @@ Vagrant.configure(2) do |config|
 
   config.vm.provision "shell", privileged: false, inline: <<-SHELL
     sudo locale-gen UTF-8
-    sudo add-apt-repository ppa:team-gcc-arm-embedded/ppa -y
-    sudo apt-get update
-    sudo apt-get install -y cmake git gcc-arm-embedded=8-2018q4-major~trusty1
+    sudo apt update && sudo apt-get install -y cmake git
+    wget -O gcc.tar.bz2 https://developer.arm.com/-/media/Files/downloads/gnu-rm/8-2018q4/gcc-arm-none-eabi-8-2018-q4-major-linux.tar.bz2;
+    tar -xf gcc.tar.bz2
+    sudo rsync -a gcc-arm-none-eabi-8-2018-q4-major/ /usr/local/
   SHELL
 
   config.vm.provision "shell", run: "always", privileged: false, inline: <<-SHELL