change mysql location without downtime

If you’re running MariaDB (or MySQL compatible) on a Debian server, by default your database files live…