#!/bin/bash set -e vagrant_box='fedora_41' [[ $EUID != 0 ]] || [[ $(uname -s) != Linux ]] && sudo='sudo' curl https://leifliddy.com/vagrant/Vagrantfile -o Vagrantfile curl https://leifliddy.com/vagrant/fedora_41.json -o fedora_41.json #curl https://leifliddy.com/vagrant/$vagrant_box.box -o $vagrant_box.box curl https://leifliddy.com/vagrant/vagrant -o vagrant chmod +x vagrant [[ $(ps -ef | grep ".vagrant/machines/fedora/qemu/" | grep -v grep) ]] && ./vagrant kill is_match=$($sudo vagrant box list | grep $vagrant_box) [[ -n $is_match ]] && echo -e '\nbox exists\n' || $sudo vagrant box add fedora_41.json $sudo vagrant box prune $sudo ./vagrant up