Как получить прокси и номер порта
Мой вопрос в основном равен Как мне заставить add-apt-repository работать через прокси?
и ответы были бы полезны, если бы я знал, как получить прокси и номер порта? Я использую Windows 10 с удаленным рабочим столом для работы на ПК с Ubuntu 16.04.