summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2017-06-29 08:32:26 +0200
committerRemi Collet <remi@remirepo.net>2017-06-29 08:32:26 +0200
commit406d264ae1c4b37cc62e41e2caacdc1932ab0117 (patch)
tree9ad334f85608fd7cfda91010052aed37c7732887
parent31125c0d8b28e5e9351c525dc7eabfde35e7bcd4 (diff)
Wizard: add a note about the 'priorities' plugin
-rw-r--r--wizard/index.php2
1 files changed, 2 insertions, 0 deletions
diff --git a/wizard/index.php b/wizard/index.php
index 1f781a77..446ee6fa 100644
--- a/wizard/index.php
+++ b/wizard/index.php
@@ -195,6 +195,8 @@ if ($php && $os && $type && !$err) {
$repo = $phpvers[$php];
}
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'));
+
printf("<li>Command to enable the repository:");
if ($dist == 'Fedora') {
printf("<pre> dnf config-manager --set-enabled %s</pre>", $repo);