devops/devops: Recognize 18.10 as "cosmic".

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index 03d252fefebe91b0510ecaae1af959b0f0eea5a0..68e26b3a1b4c72199bcbec687386b20dc3916187 100644 (file)
--- 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")