Мне нужна помощь. Я работаю в среде, где мы используем прокси в веб-браузере для подключения к Интернету, но другие системные инструменты не могут получить доступ к Интернету (например, «не может пропинговать ни один сайт из обновлений CMD или Linux-apt-get»).
Как я могу настроить параметры прокси для этих системных инструментов?