Add Ubuntu 20.04

sql/schema.sql

@@ -248,7 +248,8 @@ INSERT INTO systems (id, name, release, short, relorder) VALUES
   (195,'CentOS',     '8.0',   'centos-8.0',      60),
   (196,'CentOS',     '8.1',   'centos-8.1',      61),
   (197,'Fedora',     '31',    'fedora-31',       30),
-  (198,'FreeBSD',    '12.1',  'freebsd-12.1',    71);
+  (198,'FreeBSD',    '12.1',  'freebsd-12.1',    71),
+  (199,'Ubuntu',     '20.04', 'ubuntu-focal',    31);
 
 
 -- Removes any path components and compression extensions from the filename.

util/ubuntu.sh

@@ -119,6 +119,9 @@ case $1 in
     eoan)
         stdrepo eoan $CMIRROR amd64
         ;;
+    focal)
+        stdrepo focal $CMIRROR amd64
+        ;;
     old)
         $0 warty
         $0 hoary
@@ -147,12 +150,13 @@ case $1 in
         $0 zesty
         $0 artful
         $0 cosmic
+        $0 disco
         ;;
     current)
         $0 xenial   # until 2021-04
         $0 bionic   # until 2023-04
-        $0 disco    # until 2020-01
         $0 eoan     # until 2020-07
+        $0 focal    # until 2030-04
         ;;
     all)
         $0 old