--- doc/loncapafiles/modify_config_files.piml	2019/07/02 19:40:13	1.40
+++ doc/loncapafiles/modify_config_files.piml	2020/01/07 01:16:30	1.43
@@ -3,7 +3,7 @@
 <!-- modify_config_files.piml -->
 <!-- Matthew Hall -->
 
-<!-- $Id: modify_config_files.piml,v 1.40 2019/07/02 19:40:13 raeburn Exp $ -->
+<!-- $Id: modify_config_files.piml,v 1.43 2020/01/07 01:16:30 raeburn Exp $ -->
 
 <!--
 
@@ -58,10 +58,11 @@ if ('<DIST />' eq 'suse9.2' || '<DIST />
          ('<DIST />' eq 'fedora25')    || ('<DIST />' eq 'fedora26') ||
          ('<DIST />' eq 'fedora27')    || ('<DIST />' eq 'fedora28') ||
          ('<DIST />' eq 'fedora29')    || ('<DIST />' eq 'fedora30') ||
-         ('<DIST />' eq 'centos8')     || ('<DIST />' eq 'rhes8')    ||
-         ('<DIST />' eq 'oracle7')) {
+         ('<DIST />' eq 'fedora31')    || ('<DIST />' eq 'centos8')  ||
+         ('<DIST />' eq 'rhes8')       || ('<DIST />' eq 'oracle7')  ||
+         ('<DIST />' eq 'oracle8')) {
     $mysqlcmd = '/bin/systemctl restart mariadb.service';
-} elsif ('<DIST />' eq 'ubuntu18') {
+} elsif (('<DIST />' eq 'ubuntu18') || ('<DIST />' eq 'ubuntu20')) {
     $configfiles = 'Apt and MySQL';
     $mysqlcmd = 'sudo /bin/systemctl restart mysql.service';
 }