How to concatenate streams?

Solution 1:

Just use a subshell, e.g.

(cat abc.sql; gzip -dc xyz.sql.gz; cat qvf.sql) | mysql