From 240fe1a3c188e278daf26ff16309e931be917c7e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Gilles?= <sebastien.gilles@inria.fr>
Date: Fri, 30 Apr 2021 11:59:22 +0200
Subject: [PATCH] Take into account suggestions from Laurent and Vincent
 regarding Python call.

---
 Scripts/pre-commit | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Scripts/pre-commit b/Scripts/pre-commit
index 90fde1b..8189a4a 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}
 
-- 
GitLab