# -*- mode: ruby -*- # vi: set ft=ruby : Vagrant.configure("2") do |config| config.vm.box = "debian/jessie64" config.vm.provision "shell", inline: <<-SHELL # version settings export v1=10.2.8 export v2=10.2.15 # no password promt when installing export DEBIAN_FRONTEND=noninteractive # curl needed to set up repositories apt-get install -y curl >/dev/null # set up MariaDB repositories using script from # https://mariadb.com/kb/en/library/mariadb-package-repository-setup-and-usage/ ( curl -sS https://downloads.mariadb.com/MariaDB/mariadb_repo_setup | sudo bash -s -- --mariadb-server-version=$v1 ) > /dev/null # install client libs apt-get install -y libmariadbclient18 >/dev/null # check package version and library files present apt-cache show libmariadbclient18 | grep Version ls -l /usr/lib/x86_64-linux-gnu/ | grep libmariadb.so # change repo setup to use more recent version sed -i -e"s/$v1/$v2/g" /etc/apt/sources.list.d/mariadb.list # upgrade to more recent version apt-get update >/dev/null apt-get upgrade -y >/dev/null # check package version and librariy files again apt-cache show libmariadbclient18 | grep Version ls -l /usr/lib/x86_64-linux-gnu/ | grep libmariadb.so SHELL end