devops: Add 19.04 and its code name "disco".

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index 154996276f21094291e1274cdb1cd6b5f12d2c04..a213315c866519dfe15bdca7f5cf886979281fb6 100644 (file)
--- a/src/devops/devops.scm
+++ b/src/devops/devops.scm
@@ -1119,7 +1119,8 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
   (string-prefix? "Ubuntu " os))
 
 (define (ubuntu-os-codename os)
-  (cond ((string=? "Ubuntu 18.10" os) "cosmic")
+  (cond ((string=? "Ubuntu 19.04" os) "disco")
+       ((string=? "Ubuntu 18.10" os) "cosmic")
        ((string=? "Ubuntu 18.04" os) "bionic")
        ((string=? "Ubuntu 17.10" os) "artful")
        ((string=? "Ubuntu 17.04" os) "zesty")
@@ -1128,7 +1129,8 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
        (else (error "Unexpected Ubuntu OS:" os))))
 
 (define (ubuntu-os-version os)
-  (cond ((string=? "Ubuntu 18.10" os) "18.10")
+  (cond ((string=? "Ubuntu 19.04" os) "19.04")
+       ((string=? "Ubuntu 18.10" os) "18.10")
        ((string=? "Ubuntu 18.04" os) "18.04")
        ((string=? "Ubuntu 17.10" os) "17.10")
        ((string=? "Ubuntu 17.04" os) "17.04")