I happened to backed up a MySQL database into one huge dump SQL file, which was 123G Bytes. When I tried to restore it to another computer, I found the restore process was very slow (especially the enable key step for a table). I decide to abandon some tables, but I found for such a large file, there is no good way to edit it. Even for tasks like delete the first line or last line is very difficult. So I wrote a small python code to split the one huge dump file into small peaces.
The idea was simple. I just try to split the input file by the patterns like
-- -- blablabla --