How-to: Easily update MariaDB from 10.0 onward on Cent OS 7

The Situation Recently I had to update the database services in an number of environments. The reasons were the typical ones: performance, bug fixes, keeping-up-with-the-jones,…