From dc7449af5843d497747893e0b130568b4e743dbc Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Wed, 20 Mar 2019 10:03:45 +0100
Subject: [PATCH] [Jenkins] Fix Docker Hub credentials.
---
Jenkinsfile | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 889857b9f95..62339faab1c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -537,10 +537,12 @@ pipeline {
def gccImage = docker.build("ogs6/gcc:latest", "-f Dockerfile.gcc.full .")
def gccGuiImage = docker.build("ogs6/gcc:gui", "-f Dockerfile.gcc.gui .")
def clangImage = docker.build("ogs6/clang:latest", "-f Dockerfile.clang.full .")
- docker.withRegistry('https://registry.hub.docker.com', 'docker-hub-credentials') {
- gccImage.push()
- gccGuiImage.push()
- clangImage.push()
+ withCredentials([usernamePassword(credentialsId: 'docker-hub-credentials',
+ passwordVariable: 'pw', usernameVariable: 'docker_user')]) {
+ sh 'echo $pw | docker login -u $docker_user --password-stdin'
+ gccImage.push()
+ gccGuiImage.push()
+ clangImage.push()
}
}
}
--
GitLab