[TravisCI] Add linuxmint job.

.travis.yml

@@ -37,6 +37,7 @@ stages:
   - name: ubuntu_bionic
   - name: ubuntu_eoan
   - name: ubuntu_focal
+  - name: linuxmint
   - name: coverage
   - name: debian_interface64
 
@@ -134,11 +135,15 @@ jobs:
   # ubuntu_eoan <=> test "recent" systems, with ICB
   - stage: ubuntu_eoan
     dist: bionic
-    script: ./scripts/travis_ubuntu.sh eoan
+    script: ./scripts/travis_ubuntu.sh ubuntu :eoan
   # ubuntu_focal <=> test "recent" systems, with ICB
   - stage: ubuntu_focal
     dist: bionic
-    script: ./scripts/travis_ubuntu.sh focal
+    script: ./scripts/travis_ubuntu.sh ubuntu :focal
+  # linuxmint <=> test "recent" systems, with ICB
+  - stage: linuxmint
+    dist: bionic
+    script: ./scripts/travis_ubuntu.sh linuxmintd /mint20-amd64
   # coverage: "recent" systems with ICB
   - stage: coverage
     dist: bionic

scripts/travis_ubuntu.sh

@@ -3,9 +3,9 @@
 ## -x be verbose; write what we are doing, as we do it
 set -ex
 
-sudo docker pull ubuntu:"$1"                                                                                      \
+sudo docker pull "$1$2"                                                                                           \
 &&                                                                                                                \
-sudo docker create --name mobydick ubuntu:"$1" /bin/bash -c                                                       \
+sudo docker create --name mobydick "$1$2" /bin/bash -c                                                            \
 "apt-get    update                                                                                             && \
  ln -snf /usr/share/zoneinfo/Europe/Paris /etc/localtime && echo 'Europe/Paris' > /etc/timezone                && \
  apt-get -y install build-essential                                                                            && \