Nov 04 Replacing a domain name in WordPress with sed I often need to do this, but always forget the syntax. So this is more for my reference than anybody 4 Nov 2015