gnulib-tool.py: Fix error in Ubuntu 22.04.

* gnulib-tool.py: Search for python3 in $PATH.

diff --git a/ChangeLog b/ChangeLog
index 0489cc05b3fb2e3cf68b69ccf8d97faf57167a22..0a458a5856af4e35376b114cd5d3c7d423a573e5 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-07-29  Bruno Haible  <bruno@clisp.org>
+
+       gnulib-tool.py: Fix error in Ubuntu 22.04.
+       * gnulib-tool.py: Search for python3 in $PATH.
+
 2022-07-25  Bruno Haible  <bruno@clisp.org>
 
        bootstrap: Make the automatic sync more resilient.

diff --git a/gnulib-tool.py b/gnulib-tool.py
index 0e5a33bf6ec56a229d9a1a5068adab96d89d41cf..f81501b9c07827a29240e8879e77f826e5d4ba42 100755 (executable)
--- a/gnulib-tool.py
+++ b/gnulib-tool.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 #
 # Copyright (C) 2002-2022 Free Software Foundation, Inc.
 #