I'm using MySQL Workbench 5.2 CE, and I try to figure out how to populate or restore a
mysql_dump.sql
file uploaded to the root of my domain (./mysql_dump.sql).
Since the file is a little bit big (700MG) I wanted to restore it in a fast way, rather than using phpMyAdmin or Ozerov's BigDump.
I have shell access to the server through SSH, and I can connect to it using putty. But is there an easier way to do it using workbench? I'm not a super advanced database admin, just a beginner who trying to learn something ;)