MySQL : Copie une base de données d’un serveur à un autre

Une petite commande pense-bête, qui permets de copier une base de données MySQL d’un serveur à un autre. Quand on est sur le serveur de destination :

ssh SERVER_SOURCE 'mysqldump base_de_donnees_source | gzip' | gunzip | mysql base_de_donnees_cible

Les gzip / gunzip sont facultatifs. Ils permettent de compresser les données pendant le transfert pour gagner du temps. Mais si SERVER_SOURCE est particulièrement lent, ça peut être plus rapide de les enlever.