summaryrefslogtreecommitdiffstats
path: root/wizard/index.php
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2018-02-19 08:42:18 +0100
committerRemi Collet <remi@remirepo.net>2018-02-19 08:42:18 +0100
commit11b2dd0d6c8a02ebe5a615fdd96c3957cde069c1 (patch)
tree7f17074019911ccef362c3f0c79daaa64aba5ef5 /wizard/index.php
parenta4bae646ef262f0dcb2eb37359e10ea8606c7856 (diff)
add information about common dependencies
Diffstat (limited to 'wizard/index.php')
-rw-r--r--wizard/index.php7
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'));