Travis: use better tagging structure

.travis.yml

@@ -48,8 +48,8 @@ jobs:
         - travis/build_carl.sh
       after_success:
         - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD";
-        - docker commit carl mvolk/carl-debug:travis;
-        - docker push mvolk/carl-debug:travis;
+        - docker commit carl mvolk/carl:travis-debug;
+        - docker push mvolk/carl:travis-debug;
     # ubuntu-17.10 - DefaultReleaseTravis
     - stage: Build Carl
       os: linux
@@ -341,8 +341,8 @@ jobs:
         - find build -iname '*err*.log' -type f -print -exec cat {} \;
       after_success:
         - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD";
-        - docker commit storm mvolk/storm-debug:travis;
-        - docker push mvolk/storm-debug:travis;
+        - docker commit storm mvolk/storm:travis-debug;
+        - docker push mvolk/storm:travis-debug;
     # ubuntu-17.10 - DefaultReleaseTravis
     - stage: Test all
       os: linux

travis/build.sh

@@ -28,7 +28,7 @@ linux)
     set -e
     case "$CONFIG" in
     *DebugTravis)
-        docker run -d -it --name storm --privileged mvolk/carl-debug:travis
+        docker run -d -it --name storm --privileged mvolk/carl:travis-debug
         ;;
     *ReleaseTravis)
         docker run -d -it --name storm --privileged mvolk/carl:travis

travis/generate_travis.py

@@ -90,8 +90,8 @@ if __name__ == "__main__":
             buildConfig += "      after_success:\n"
             buildConfig += '        - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD";\n'
             if "Debug" in build_type:
-                buildConfig += "        - docker commit carl mvolk/carl-debug:travis;\n"
-                buildConfig += "        - docker push mvolk/carl-debug:travis;\n"
+                buildConfig += "        - docker commit carl mvolk/carl:travis-debug;\n"
+                buildConfig += "        - docker push mvolk/carl:travis-debug;\n"
             elif "Release" in build_type:
                 buildConfig += "        - docker commit carl mvolk/carl:travis;\n"
                 buildConfig += "        - docker push mvolk/carl:travis;\n"
@@ -154,8 +154,8 @@ if __name__ == "__main__":
                 buildConfig += "      after_success:\n"
                 buildConfig += '        - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD";\n'
                 if "Debug" in build_type:
-                    buildConfig += "        - docker commit storm mvolk/storm-debug:travis;\n"
-                    buildConfig += "        - docker push mvolk/storm-debug:travis;\n"
+                    buildConfig += "        - docker commit storm mvolk/storm:travis-debug;\n"
+                    buildConfig += "        - docker push mvolk/storm:travis-debug;\n"
                 elif "Release" in build_type:
                     buildConfig += "        - docker commit storm mvolk/storm:travis;\n"
                     buildConfig += "        - docker push mvolk/storm:travis;\n"