Translations:Manual:Backing up a wiki/18/en

The output from mysqldump can instead be piped to gzip, for a smaller output file, as follows