hg config file and ubuntu_configuration modif