From 4aa500b867b75d846b5861600f4293646c4fb138 Mon Sep 17 00:00:00 2001
From: Jannis R <mail@jannisr.de>
Date: Wed, 2 Dec 2020 13:53:50 +0100
Subject: [PATCH] =?UTF-8?q?Travis=20CI:=20build=20&=20publish=20Docker=20i?=
 =?UTF-8?q?mage=20=F0=9F=92=9A?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .dockerignore        | 1 +
 .travis.yml          | 7 +++++++
 push-docker-image.sh | 6 ++++++
 3 files changed, 14 insertions(+)
 create mode 100644 push-docker-image.sh

diff --git a/.dockerignore b/.dockerignore
index 7904451..9ea4a81 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -1,3 +1,4 @@
 /build
 
 /Dockerfile
+/push-docker-image.sh
diff --git a/.travis.yml b/.travis.yml
index 81a0719..85eb9f0 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -26,6 +26,13 @@ before_script:
 script:
   - make -j4
   - ctest --verbose
+  - docker build -t ad-freiburg/pfaedle .
+
+deploy:
+  on:
+    branch: master
+  provider: script
+  script: bash push-docker-image.sh
 
 notifications:
   email:
diff --git a/push-docker-image.sh b/push-docker-image.sh
new file mode 100644
index 0000000..902bf39
--- /dev/null
+++ b/push-docker-image.sh
@@ -0,0 +1,6 @@
+#!/bin/sh
+set -ex
+set -o pipefail
+
+echo "$DOCKER_PASSWORD" | docker login -u "$DOCKER_USERNAME" --password-stdin
+docker push ad-freiburg/pfaedle
\ No newline at end of file