useful mysql-bash snippets