I recently upgraded my main Ubuntu install from Ubuntu 18.04 to 19.10 mainly for testing within my company to make sure the currently used software stack will be compatible come 20.04
Everything is working well however we are yet to upgrade the database some of our internal applications past Mariadb 10.1
Be default Ubuntu 19.10 ships with 10.3, I can't seem to find any details to get the downgrade to 10.1. I plan to push forward everyone upgrading to 10.3 at least however until thats done I need to be able to interact with datasets etc from the 10.1 server.
So my question is can I downgrade back to 10.1 on Ubuntu 19.10 and if not, short of a complete reinstall of 18.04 what methods would people suggest to get a local Mariadb 10.1 instance running. Docker maybe?