# HG changeset patch
# User Vincent Hatakeyama <vincent.hatakeyama@xcg-consulting.fr>
# Date 1581603907 -3600
#      Thu Feb 13 15:25:07 2020 +0100
# Node ID 9e2fb98079cec5fcc91183acfecc85006242c207
# Parent  5aa6bf21f1787853b630b823ba4f5e97339779c7
python 3 in docker_build

diff --git a/docker_build.py b/docker_build.py
--- a/docker_build.py
+++ b/docker_build.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 # vim: set shiftwidth=4 softtabstop=4:
 """Script to locally build a docker image