move mysql to larger disk

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