Я следовал инструкциям на http://doc-en.tuleap.net/en/latest/developer-guide/quick-start/run-tuleap.html, но попал на http://tuleap_web_1.tuleap-aio-dev. Докер / дает "Сервер не найден". Первые два пункта в разделе «3.4. Устранение неполадок "вроде бы нормально, но третий дает" ;; время соединения истекло; серверы недоступны для обеих команд dig '*.docker', dig '*.tuleap-aio-dev.docker' и dig 'tuleap_web_1.tuleap-aio-dev.docker' .
К сожалению, нет никаких последующих советов, когда эти команды терпят неудачу. Я добавлю, что если я смогу решить проблему.