aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpracticalswift <practicalswift@users.noreply.github.com>2018-04-13 23:29:35 +0800
committerChun Kuan Lee <ken2812221@gmail.com>2018-04-14 02:13:24 +0800
commit958bf404894c7918a912986c24c78b1f6d6fa369 (patch)
treebcabd6ffe301b0931dcc5979ceff58ba202931bd
parent5df84de583c900e00fef63bedaef32786f205a33 (diff)
add lint tool to check python3 shebang
-rwxr-xr-xcontrib/devtools/lint-python-shebang.sh11
1 files changed, 11 insertions, 0 deletions
diff --git a/contrib/devtools/lint-python-shebang.sh b/contrib/devtools/lint-python-shebang.sh
new file mode 100755
index 0000000000..f5c5971c03
--- /dev/null
+++ b/contrib/devtools/lint-python-shebang.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+# Shebang must use python3 (not python or python2)
+EXIT_CODE=0
+for PYTHON_FILE in $(git ls-files -- "*.py"); do
+ if [[ $(head -c 2 "${PYTHON_FILE}") == "#!" &&
+ $(head -n 1 "${PYTHON_FILE}") != "#!/usr/bin/env python3" ]]; then
+ echo "Missing shebang \"#!/usr/bin/env python3\" in ${PYTHON_FILE} (do not use python or python2)"
+ EXIT_CODE=1
+ fi
+done
+exit ${EXIT_CODE}