use "/usr/bin/env python3" instead of "/usr/bin/env python" as a temporary workaround for #1023

1e4a0ac0 · Christophe Geuzaine · 1a72a1c0 · 1e4a0ac0 · 1e4a0ac0 · 1e4a0ac0
Commit 1e4a0ac0 authored 3 years ago by Christophe Geuzaine
--- a/utils/pypi/gmsh-dev/gmsh
+++ b/utils/pypi/gmsh-dev/gmsh
-#!/usr/bin/env python
+#!/usr/bin/env python3
 import os
 import sys

--- a/utils/pypi/gmsh-nox-dev/gmsh
+++ b/utils/pypi/gmsh-nox-dev/gmsh
-#!/usr/bin/env python
+#!/usr/bin/env python3
 import os
 import sys

--- a/utils/pypi/gmsh/gmsh
+++ b/utils/pypi/gmsh/gmsh
-#!/usr/bin/env python
+#!/usr/bin/env python3
 import os
 import sys