#!/bin/bash

set -e

vagrant_box='fedora_40'

[[ $EUID != 0 ]] || [[ $(uname -s) != Linux ]] && sudo='sudo'

curl https://leifliddy.com/vagrant/Vagrantfile -o Vagrantfile
curl https://leifliddy.com/vagrant/fedora_40.json -o fedora_40.json
curl https://leifliddy.com/vagrant/vagrant -o vagrant
chmod +x vagrant
[[ $(ps -ef | grep ".vagrant/machines/fedora/qemu/" | grep -v grep) ]] && ./vagrant kill
$sudo vagrant box add fedora_40.json
$sudo vagrant box prune
$sudo ./vagrant up