Поскольку sed
не имеет представления о числах, это немного трудоемко:
sed -E 's/^[0-9]+\*/1*/; s/^1\*[0-9]+/2/; s/^2\*[0-9]+/3/; s/^3\*[0-9]+/4/;' input
PHP 7.1 недоступен для RHEL 8 даже в репозитории Реми . Он был доступен во время бета-тестирования RHEL 8, но был удален перед выпуском, предположительно потому, что PHP 7.1 подойдет к концу в декабре. В примечаниях к выпуску RHEL 8 упоминается только PHP 7.2.
Он по-прежнему доступен в коллекциях программного обеспечения для RHEL 7, поэтому, если вам нужен PHP 7.1, вам, вероятно, лучше остаться на RHEL 7.