From 3573d6ba5191b66866e9c4565485cfa904788fa0 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Thu, 29 Nov 2018 13:58:54 -0700 Subject: [PATCH] devops/devops: Recognize 18.10 as "cosmic". --- src/devops/devops.scm | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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") -- 2.25.1