Это RHEL 7. Я могу установить опцию, например так:
yum-config-manager --setopt=developer_repo.proxy=http://proxy.example.com:80/ --save
Но как мне отменить / удалить опцию, используя yum-config-manager, если ее больше нет? нужно?
С уважением, Dietmar