Patch to make vagrant work with VBox 5.2

vagrant-patch-for-virtualbox-5.2

#!/bin/bash

set -eo pipefail


TARGETFMT='/opt/vagrant/embedded/gems/gems/vagrant-%s/plugins/providers/virtualbox/driver/meta.rb'

die() { echo >&2 "$@"; exit 1; }

[[ $EUID -eq 0 ]] || die "sudo required"

command -v vagrant >/dev/null || die "no vagrant installed"

version=$(vagrant version | awk '{ print $NF; exit }')
[[ -n $version ]] || die "no version found"

# shellcheck disable=SC2059
target=$(printf "$TARGETFMT" "$version")
[[ -f $target ]] || die "$target not found"

cp "$target" "$target.orig"
sed -i '' 's/"4.0" => Version_4_0,/"5.2" => Version_5_1,/' "$target"