[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
gnulib-tool.py: Fix error in Ubuntu 22.04
From: |
Bruno Haible |
Subject: |
gnulib-tool.py: Fix error in Ubuntu 22.04 |
Date: |
Fri, 29 Jul 2022 11:09:18 +0200 |
I tried running gnulib-tool.py on Ubuntu 22.04, and it failed:
bash: ./gnulib-tool.py: /usr/bin/python: bad interpreter: No such file or
directory
This patch fixes it.
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.
diff --git a/gnulib-tool.py b/gnulib-tool.py
index 0e5a33bf6e..f81501b9c0 100755
--- 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.
#
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- gnulib-tool.py: Fix error in Ubuntu 22.04,
Bruno Haible <=