I cannot find this documented anywhere, possibly because it is not supported/possible.
How do I rename a database in MariaDB?
From my research, it appears that "RENAME DATABASE" was possible in MySQL for a few versions, but considered unsafe, so it was removed.
I see other "hacky" ways of doing it, which involves moving tables, re-create triggers/views, rename files, etc...
What is THE way to do it with MariaDB, or is there a well-tested tool that does it?
Note - I understand that "mysqldump" can do the job, but it is not practicable for large databases.