I'd like to populate the mysql timezone tables with the database provided by mysql. I am using a cloud DB and can't overwrite DB tables and restart the server. Can someone help me understand how to load these files manually?
Rational: I loaded the tz tables from the OS, but the OS has a ton of timezone names. I'd like a more concise set of names that I can query for forms. I think the set provided by mysql might be a better fit. No other apps are running on the DB, thus tz conflicts aren't an issue.