diff options
-rw-r--r-- | wizard/index.php | 2 |
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); |