diff --git a/docker_build.py b/docker_build.py index 5aa6bf21f1787853b630b823ba4f5e97339779c7_ZG9ja2VyX2J1aWxkLnB5..9e2fb98079cec5fcc91183acfecc85006242c207_ZG9ja2VyX2J1aWxkLnB5 100755 --- 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