Resulta que tenía que reestablecer la base de datos de un sitio en WordPress dado que una actualización en la base de productos del Woocommerce se había «llenado de basura» y limpiarla era más engorroso que volver a cargar la base (o eso pensaba).
El archivo comprimido del dump sql pesaba 1,5Mb pero un vez expandido eran 18Mb, lo cual generaba que el phpMyAdmin tardara muchísimo en procesarlo y no llegaba a completar la importación.
Entonces se me ocurrió importar el archivo en partes, así que busqué un poco y encontré que con el comando split se puede trocear un archivo de texto plano en varios partes consecutivas.
Gracias a https://unix.stackexchange.com/a/163415
split -l 8000 archivo-de-texto.txt
Esto me genera archivos de 8000 líneas nombrados xaa; xab; xac …
Y chau.