From 1e4a0ac0450e3cfed148bc117175d75949b95058 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@uliege.be>
Date: Sat, 4 Sep 2021 14:47:36 +0200
Subject: [PATCH] use "/usr/bin/env python3" instead of "/usr/bin/env python"
 as a temporary workaround for #1023

---
 utils/pypi/gmsh-dev/gmsh     | 2 +-
 utils/pypi/gmsh-nox-dev/gmsh | 2 +-
 utils/pypi/gmsh/gmsh         | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/utils/pypi/gmsh-dev/gmsh b/utils/pypi/gmsh-dev/gmsh
index 097705c573..80c4a1f290 100755
--- a/utils/pypi/gmsh-dev/gmsh
+++ b/utils/pypi/gmsh-dev/gmsh
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 
 import os
 import sys
diff --git a/utils/pypi/gmsh-nox-dev/gmsh b/utils/pypi/gmsh-nox-dev/gmsh
index 097705c573..80c4a1f290 100755
--- a/utils/pypi/gmsh-nox-dev/gmsh
+++ b/utils/pypi/gmsh-nox-dev/gmsh
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 
 import os
 import sys
diff --git a/utils/pypi/gmsh/gmsh b/utils/pypi/gmsh/gmsh
index 097705c573..80c4a1f290 100755
--- a/utils/pypi/gmsh/gmsh
+++ b/utils/pypi/gmsh/gmsh
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 
 import os
 import sys
-- 
GitLab