diff options
author | Remi Collet <remi@remirepo.net> | 2017-06-29 08:32:26 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2017-06-29 08:32:26 +0200 |
commit | 406d264ae1c4b37cc62e41e2caacdc1932ab0117 (patch) | |
tree | 9ad334f85608fd7cfda91010052aed37c7732887 /wizard/index.php | |
parent | 31125c0d8b28e5e9351c525dc7eabfde35e7bcd4 (diff) |
Wizard: add a note about the 'priorities' plugin
Diffstat (limited to 'wizard/index.php')
-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); |