MediaWiki-Vagrant/OS upgrade

MediaWiki-Vagrant uses Puppet to modify a Debian base VM. Most changes can be managed via Puppet (and thus can be applied by just running ), but upgrading the OS to a new Debian release cannot. When you update MediaWiki-Vagrant to a version that requires a newer OS, at the next provisioning attempt it will tell you to rebuild the VM.

Ideally Vagrant boxes should not contain anything important ("cattle not pets") and so you should be able to just delete the whole thing with  and discard all state. In practice having to recreate the old state is sometimes uncomfortable, so here is an approximate process of upgrading MediaWiki-Vagrant while mostly keeping it intact:


 * dump the DB by running this command inside Vagrant:
 * update MediaWiki-Vagrant itself with
 * rebuild VM:
 * restore the DB dump by running this command inside Vagrant:
 * clear MediaWiki caches, e.g. by running
 * regenerate all data wasn't stored in the DB
 * if the  role is enabled, run   inside Vagrant