I can’t believe I’ve been so stupid.
It’s a regular job for me: I’ve developed a WordPress-driven site on a subdomain, and I need to shift it to the live domain. Export the database as an SQL file, recreate it on the new server and / or domain. Then zip through and replace all instances of the development domain with the live domain.
Not too bad if there’s not much to replace. But I’m just moving a site at a relatively late stage of development and manual replacing was too much. How to do a global search / replace in phpMyAdmin?
The answer is, you don’t. When you’ve exported the database as an SQL file, open the file up in a good text editor and search / replace there. Then import the new file.