From a21072070ed5dbb49a9cc27dc7e230a46093a71e Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Thu, 17 Nov 2016 10:37:24 +0000
Subject: [PATCH] docker_build force rebuild

---
 etc/profile.d/docker.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/profile.d/docker.sh b/etc/profile.d/docker.sh
index dfdc5e86..3c5cccab 100644
--- a/etc/profile.d/docker.sh
+++ b/etc/profile.d/docker.sh
@@ -27,7 +27,7 @@ docker_build() {
   fi
 
   local ex=0
-  if [ -n "$(docker images -q $docker_name:latest 2>/dev/null)" ]; then
+  if [ "0" = "1" -a -n "$(docker images -q $docker_name:latest 2>/dev/null)" ]; then
     echo "$FUNCNAME: $docker_name already build."
     ex=2
 
-- 
2.47.3