wordpress how to change domain name

how do you change the domain name on your wordpress site after you've already installed it. how do you move your wordpress domain to a new name. inside of wp-config.php add the following lines. define('WP_HOME','http://yourdomain.com'); define('WP_SITEURL','http://yourdomain.com');