A veces cambio servidores DNS, usando el indicador NetworkManager en la barra de tareas; esto funcionó bien con versiones anteriores, y en realidad también funciona bien con 12.04, excepto por una cosa: uso Conky para mostrar información del sistema, incluida la dirección DNS, y noté que ahora...