Cambiar «base_url» en archivo config.php

En esta oportunidad les traigo un código muy sencillo que en lo personal me ha salvado en más de una ocasión al momento de querer configurar mi aplicación y moverla entre servidores sin preocuparme...