From da6a1f9a92e8d0a80b83cd30c60ca875d61b6b9f Mon Sep 17 00:00:00 2001
From: Lenka Segura <lenka@sepu.cz>
Date: Sep 27 2018 14:41:40 +0000
Subject: dev/Vagrantfile url Vagrantfile_box_update


Ugrade to fedora 28.
Fixes #3610

---

diff --git a/dev/Vagrantfile.example b/dev/Vagrantfile.example
index 387e9c4..6b162d5 100644
--- a/dev/Vagrantfile.example
+++ b/dev/Vagrantfile.example
@@ -4,8 +4,8 @@
 VAGRANTFILE_API_VERSION = "2"
 
 Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
- config.vm.box_url = "https://download.fedoraproject.org/pub/fedora/linux/releases/27/CloudImages/x86_64/images/Fedora-Cloud-Base-Vagrant-27-1.6.x86_64.vagrant-libvirt.box"
- config.vm.box = "f27-cloud-libvirt"
+ config.vm.box_url = "http://ftp.cica.es/fedora/linux/releases/28/Cloud/x86_64/images/Fedora-Cloud-Base-Vagrant-28-1.1.x86_64.vagrant-libvirt.box"
+ config.vm.box = "f28-cloud-libvirt"
 
 
  # Forward traffic on the host to the development server on the guest