diff options
author | Remi Collet <remi@remirepo.net> | 2018-02-19 08:42:18 +0100 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2018-02-19 08:42:18 +0100 |
commit | 11b2dd0d6c8a02ebe5a615fdd96c3957cde069c1 (patch) | |
tree | 7f17074019911ccef362c3f0c79daaa64aba5ef5 /wizard | |
parent | a4bae646ef262f0dcb2eb37359e10ea8606c7856 (diff) |
add information about common dependencies
Diffstat (limited to 'wizard')
-rw-r--r-- | wizard/index.php | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/wizard/index.php b/wizard/index.php index 8b0dfaf4..23781331 100644 --- a/wizard/index.php +++ b/wizard/index.php @@ -194,6 +194,13 @@ if ($php && $os && $type && !$err) { } else { $repo = $phpvers[$php]; } + if ($dist != 'Fedora') { + printf("<li>Some common <b>dependencies</b> are available in <b>remi-safe</b> repository, which is enabled by default</li><br />"); + } else if ($repo != 'remi') { + printf("<li>Some common <b>dependencies</b> are available in <b>remi</b> repository, which need to be enabled"); + printf("<pre> yum-config-manager --enable remi</pre></li><br />"); + } + printf("<li>PHP version <b>%s</b> packages are available for <b>%s</b> in <b>%s</b> repository</li><br />", $php, $os, $repo); printf("<li>If the <b>priorities</b> plugin is enabled, ensure %s have higher priority (a lower value) than %s</li><br />", $repo, ($dist == 'Fedora' ? 'fedora' : 'base and updates')); |