diff options
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')); |