Script for switching WordPress domain. It fixes serialization problems.

wp-switch-domain

#!/usr/bin/php
<?php
	$oldDomain = $argv[1];
	$domain = $argv[2];

	$inputSQL = file_get_contents('php://stdin');

	$replacedDomainSQL = str_replace($oldDomain, $domain, $inputSQL);

	$fixedSerializeSQL = preg_replace(
		'!s:(\d+):"([^"]*?' . preg_quote($domain) . '[^"]*?)";!Ue',
		"'s:'.strlen('$2').':\"$2\";'",
		$replacedDomainSQL
	);

	echo $fixedSerializeSQL;