Queries MYSQL_SERVER using the query file (and line number) specified in the arguments. If the option to generate an output file is enabled, the output file will be by the same filename as the input ...

Don't be afraid of using your chosen database's command-line client. I might as well say this up front: I don't like using GUI (aka non-command-line or graphical) tools with my databases. This is ...