パイプ、リダイレクト、コマンドライン引数 mysqlコマンドにパイプでSQLを渡す[https://shimi-dai.com/mysql-batch-on-mysql-and-mariadb/:title=[MySQL/MariaDB] mysqlコマンドでバッチ処理・直接実行]