Como posso stdout todos os comandos executados no script bash?
Essa saída deve conter os comandos output E os próprios comandos.
eu encontrei
#!/bin/bash -x
mas isso não é exatamente o mesmo, porque em vez de
mysql -v dbname < dump.sql | grep "CREATE TABLE"
isto mostra
+ mysql -v dbname
+ grep 'CREATE TABLE'