Attempt fixing CentOS8 Dockerfile

Apparently this is now powertools, lowercase:

https://serverfault.com/questions/997896/how-to-enable-powertools-repository-in-centos-8

Towards #1945

diff --git a/ci/centos8/Dockerfile b/ci/centos8/Dockerfile
index 54a84e1c30419509dfab9d536bc462ab954f9e54..8f7d6dfa5206d55b4385b6161c9c1270dc392dd9 100644 (file)
--- a/ci/centos8/Dockerfile
+++ b/ci/centos8/Dockerfile
@@ -3,7 +3,7 @@ FROM centos:8
 
 # Development tools
 RUN yum -y groupinstall 'Development Tools'
-RUN dnf config-manager --set-enabled PowerTools
+RUN dnf config-manager --set-enabled powertools
 
 # Centos build utilities
 RUN yum -y install \