summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJörg Thalheim <Mic92@users.noreply.github.com>2017-05-01 02:26:56 +0200
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2017-04-30 20:26:56 -0400
commit3e67e5c9928f8b1e1c5a63def88d53ed1fed12eb (patch)
treeed8167b908dc274da6635b3e192ea214b72ab0b1 /src
parentdb374ff564e509be86ed22667de1c245ad2c5387 (diff)
more portable python shebangs (#5816)
This is useful on systems like NixOS, where python3 is not in /usr/bin/python3 as well as for people using alternative ways to install python such as virtualenv/pyenv.
Diffstat (limited to 'src')
-rw-r--r--src/basic/generate-gperfs.py2
-rwxr-xr-xsrc/journal-remote/log-generator.py2
-rw-r--r--src/resolve/generate-dns_type-gperf.py2
-rw-r--r--src/test/generate-sym-test.py2
4 files changed, 4 insertions, 4 deletions
diff --git a/src/basic/generate-gperfs.py b/src/basic/generate-gperfs.py
index 2e7d8931dd..d4cc9aa45c 100644
--- a/src/basic/generate-gperfs.py
+++ b/src/basic/generate-gperfs.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python3
+#!/usr/bin/env python3
"""Generate %-from-name.gperf from %-list.txt
"""
diff --git a/src/journal-remote/log-generator.py b/src/journal-remote/log-generator.py
index 7b434b334e..c2f945bb47 100755
--- a/src/journal-remote/log-generator.py
+++ b/src/journal-remote/log-generator.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python3
+#!/usr/bin/env python3
import sys
import argparse
diff --git a/src/resolve/generate-dns_type-gperf.py b/src/resolve/generate-dns_type-gperf.py
index fb36c850af..8a0b43c277 100644
--- a/src/resolve/generate-dns_type-gperf.py
+++ b/src/resolve/generate-dns_type-gperf.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python3
+#!/usr/bin/env python3
"""Generate %-from-name.gperf from %-list.txt
"""
diff --git a/src/test/generate-sym-test.py b/src/test/generate-sym-test.py
index a3350c8a81..357cce8e44 100644
--- a/src/test/generate-sym-test.py
+++ b/src/test/generate-sym-test.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python3
+#!/usr/bin/env python3
import sys, re
print('#include <stdio.h>')