From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Thu, 29 Nov 2018 20:58:54 +0000 (-0700)
Subject: devops/devops: Recognize 18.10 as "cosmic".
X-Git-Tag: mit-scheme-pucked-devops-0.10
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=af216f0fa53427d8bb6ec3c9c240c47cf82c2087;p=mit-scheme.git

devops/devops: Recognize 18.10 as "cosmic".
---

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index 03d252fef..68e26b3a1 100644
--- a/src/devops/devops.scm
+++ b/src/devops/devops.scm
@@ -1096,7 +1096,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.04" os) "bionic")
+  (cond ((string=? "Ubuntu 18.10" os) "cosmic")
+	((string=? "Ubuntu 18.04" os) "bionic")
 	((string=? "Ubuntu 17.10" os) "artful")
 	((string=? "Ubuntu 17.04" os) "zesty")
 	((string=? "Ubuntu 16.10" os) "yakkety")
@@ -1104,7 +1105,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.04" os) "18.04")
+  (cond ((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")
 	((string=? "Ubuntu 16.10" os) "16.10")