Как добавить Fedora Repo к установке CentOS 7?
То, что для меня исправлено "разрешение отклонено", заключалось в том, что на удаленном сервере я сменил владельца папки на root: (Это может произойти, когда вы отправляете файл не- пользователь root, а каталог принадлежит пользователю root!) На удаленном компьютере (копирование адресата):
sudo chown (your username) (remote folder)
Также, чтобы быть уверенным, включите все разрешения для удаленной папки: (Не всегда необходимо ):
sudo chmod 777 (remote folder)
Не рекомендуется смешивать пакеты для разных систем. Это может сработать, но вы можете столкнуться с трудными для отладки проблемами. Но скорее всего не получится.
Лучше всего пересобрать пакет для вашей системы. Либо вы можете попросить текущего сопровождающего пакета сделать это за вас (добавить пакет EPEL7, который появится в вашем репозитории EPEL), либо сделать это самостоятельно:
Загрузите последний пакет SRPM с Koji :
wget https://kojipkgs.fedoraproject.org//packages/frama-c/1.14/1.fc27/src/frama-c-1.14-1.fc27.src.rpmПересоберите его для своей системы (возможно, устраните отсутствующие зависимости, если они доступны):
rpmbuild --rebuild frama-c-1.14-1.fc27.src.rpmУстановите пакет:
yum install ~/rpmbuild/RPMS/.../path/../to/your.rpms