]> Savannah Git Hosting - gnulib.git/commitdiff
gnulib-tool.py: Fix error in Ubuntu 22.04.
authorBruno Haible <bruno@clisp.org>
Fri, 29 Jul 2022 09:09:00 +0000 (11:09 +0200)
committerBruno Haible <bruno@clisp.org>
Fri, 29 Jul 2022 09:09:00 +0000 (11:09 +0200)
* gnulib-tool.py: Search for python3 in $PATH.

ChangeLog
gnulib-tool.py

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.
index 0e5a33bf6ec56a229d9a1a5068adab96d89d41cf..f81501b9c07827a29240e8879e77f826e5d4ba42 100755 (executable)
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 #
 # Copyright (C) 2002-2022 Free Software Foundation, Inc.
 #