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 | |
parent | a4bae646ef262f0dcb2eb37359e10ea8606c7856 (diff) |
add information about common dependencies
-rw-r--r-- | index.html | 2 | ||||
-rw-r--r-- | wizard/index.php | 7 |
2 files changed, 8 insertions, 1 deletions
@@ -56,7 +56,7 @@ <p class="msg"> --> <h2>Next year <strong>Web hosting</strong> budget, until February 2019: - <progress max="500" value="464">93%</progress> <strong>93% of 500€</strong>. + <progress max="500" value="495">99%</progress> <strong>99% of 500€</strong>. <!-- </p>-<p class="msg" style="margin-bottom: 18em"> --> 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')); |