My dev mysql service stopped working suddenly ... the logfile shows an error message: 

During development, it's comfortable to have a command in bash history to create a quick development dump:

wget https://www.phpmyadmin.net/downloads/phpMyAdmin-latest-all-languages.zip -O phpmyadmin.zip

unzip phpmyadmin.zip && rm phpmyadmin.zip

sed -i myfilename.sql -e 's/utf8mb4_0900_ai_ci/utf8mb4_unicode_ci/g'

Collation is everything :)

Soooo nice:

SELECT * FROM `menu` WHERE weight != 0 ORDER BY (CASE type WHEN 118 THEN 2 WHEN 54 THEN 4 END) DESC

SELECT a.nid, b.nid FROM node AS a , node AS b WHERE a.nid = 13 AND b.nid !=14 AND b.nid !=15 ORDER BY RAND() LIMIT 3

Export:

mysqldump -uUSER -pPASSWD --allow-keywords --opt DB | gzip > DB.sql.gz

Schnellere Methode: 

gunzip -c datenbankdumpdatei.swl.gz | mysql -u admin -p datenbank_name 

Langsamere Methode: