how do I insert timzone-pois.sql into MYSQL? I have read about how to insert the time zone into MYSQL as below:

I can&#39;t find time zone tables in sys database of MySQL

However, after I type show databases, there was no response except showing mysql>

Thus I'd like to clarify how do I go about inserting the timzone-pois.sql into MYSQL.

I am using mysql workbench and mysql 8.0.13 server. Windows 10.
Tks.
Looking at the manual, for Windows, you need to download the timezones which is a zip file that contains a SQL file. This can be run in workbench.