--- loncom/debugging_tools/modify_config_files.pl	2017/06/05 21:06:25	1.13
+++ loncom/debugging_tools/modify_config_files.pl	2018/10/26 21:39:44	1.14
@@ -2,7 +2,7 @@
 #
 # The LearningOnline Network
 #
-# $Id: modify_config_files.pl,v 1.13 2017/06/05 21:06:25 raeburn Exp $
+# $Id: modify_config_files.pl,v 1.14 2018/10/26 21:39:44 raeburn Exp $
 #
 # Copyright Michigan State University Board of Trustees
 #
@@ -200,6 +200,26 @@ if ($dist =~ /^fedora(\d+)$/) {
                                         regexp => '\s*deb\s+'.$loninst_re.'/ubuntu/\s+hardy\s+main',
                                         text   => "deb $loninst/ubuntu/ hardy main",
                                       },
+                           ubuntu10 => {
+                                        regexp => '\s*deb\s+'.$loninst_re.'/ubuntu/\s+lucid\s+main',
+                                        text   => "deb $loninst/ubuntu/ lucid main",
+                                       },
+                           ubuntu12 => {
+                                        regexp => '\s*deb\s+'.$loninst_re.'/ubuntu/\s+precise\s+main',
+                                        text   => "deb $loninst/ubuntu/ precise main",
+                                       },
+                           ubuntu14 => {
+                                        regexp => '\s*deb\s+'.$loninst_re.'/ubuntu/\s+trusty\s+main',
+                                        text   => "deb $loninst/ubuntu/ trusty main",
+                                       },
+                           ubuntu16 => {
+                                        regexp => '\s*deb\s+'.$loninst_re.'/ubuntu/\s+xenial\s+main',
+                                        text   => "deb $loninst/ubuntu/ xenial main",
+                                       },
+                           ubuntu18 => {
+                                        regexp => '\s*deb\s+'.$loninst_re.'/ubuntu/\s+bionic\s+main',
+                                        text   => "deb $loninst/ubuntu/ bionic main",
+                                       },
                          );
     my $apt_status;
     if (defined($apt_get_source{$dist})) {