+ repository { $configdir: