Exit the mysql command interpreter by issuing the “quit” command at the mysql prompt. Use your favorite search-and-replace tools to convert the text file to a command string for mysql of the form ...