diff --git a/Scripts/pre-commit b/Scripts/pre-commit index 90fde1b1a7fd10ac58a4697d54a75351fa4ec10b..8189a4a873a838565e222615467e27569d4e8ca1 100755 --- a/Scripts/pre-commit +++ b/Scripts/pre-commit @@ -4,5 +4,5 @@ file_list=`git diff --cached --name-only` root_dir=`git rev-parse --show-toplevel` -python ${root_dir}/Scripts/check_no_executed_cell.py ${file_list} +/usr/bin/env python3 ${root_dir}/Scripts/check_no_executed_cell.py ${file_list}