Невозможно обновить или установить пакеты на Ubuntu server 18.04. Интернет-провайдер Ростелеком, Мы сидим за их прокси-сервером и контент-фильтрацией. И чтобы мы могли нормально работать с Ubuntu server 18.04, они просят нас предоставить порты обновления. sources.list им не достаточно. Где можно посмотреть список портов??? Заранее спасибо! С уважением, Олег.