"My solution was simply to use mysql with the -B parameter, inline the SELECT statement with -e, then massage the ASCII output with sed, and wind up with CSV including a header field row. This doesn't seem to take into account STRING column types that have double quotes in them: Here is the updated regex to escape double quotes"

I love learning from the internets 🤐