From de301a2bd38b88fb0c4866b16d94b9dddbb6c63e Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Wed, 3 Jul 2019 20:30:36 -0700 Subject: [PATCH] devops: Add 19.04 and its code name "disco". --- 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 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") -- 2.25.1