From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Thu, 4 Jul 2019 03:30:36 +0000 (-0700)
Subject: devops: Add 19.04 and its code name "disco".
X-Git-Tag: mit-scheme-pucked-devops-0.12~3
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=de301a2bd38b88fb0c4866b16d94b9dddbb6c63e;p=mit-scheme.git

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

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index 154996276..a213315c8 100644
--- 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")