Не так давно пришлось настраивать правильную ось на компьютере, подключенного в инет через прокси. Встал вопрос обновления системы, коллекции портов и установки портов. Немного погуглив, предлагаю вашему вниманию данную статью. В ней подразумевается, что у вас есть адрес прокси-сервера, его порт и