У меня есть Linux Mint на основе Debian 9 (растянуть) и с X-Cinnamon в качестве графического интерфейса, я не могу найти ручную настройку прокси-сервера в качестве опции в сетевом подключении, я уже пытался обновить и обновить даже дистрибутив,и есть ли возможность поменять дистрибутив? сетевой менеджер