Я использую инструмент командной строки, который не имеет опций прокси, но я хочу направить его трафик через прокси. Как я могу сделать это?
Можно создать NetworkManager для маршрутизации трафика системы через прокси. Нажмите на значок NetworkManager, затем "Соединения Редактирования...", выбирает сеть, с которой Вы подключены и нажимаете значок шестеренки. Оттуда, нажмите на вкладку "Proxy" и введите информацию прокси.