If you ever need to import a gzipped MySQL dump on the CLI, here’s a quick an easy command to do it while leaving the dump file compressed.

zcat < /path/to/sqldump.sql.gz | mysql -u username -p db_name