From 1a68b48580ee7c4fe19e6b02772b8477a0ad04a6 Mon Sep 17 00:00:00 2001
From: Fabian Kaczmarczyck <kaczmarczyck@google.com>
Date: Mon, 6 Nov 2023 20:22:42 +0100
Subject: [PATCH] Small fixes to python calls

---
 deploy.py           | 2 +-
 tools/configure.py  | 2 +-
 tools/run_pylint.sh | 8 ++------
 3 files changed, 4 insertions(+), 8 deletions(-)

diff --git a/deploy.py b/deploy.py
index deed0b6c..8fad5a2c 100755
--- a/deploy.py
+++ b/deploy.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env py_virtual_env/bin/python3
+#!py_virtual_env/bin/python3
 # Copyright 2019-2023 Google LLC
 #
 # Licensed under the Apache License, Version 2.0 (the "License");
diff --git a/tools/configure.py b/tools/configure.py
index c5e56559..cfc0cb85 100755
--- a/tools/configure.py
+++ b/tools/configure.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env py_virtual_env/bin/python3
+#!py_virtual_env/bin/python3
 # Copyright 2020 Google LLC
 #
 # Licensed under the Apache License, Version 2.0 (the "License");
diff --git a/tools/run_pylint.sh b/tools/run_pylint.sh
index 1babef3c..2055078a 100755
--- a/tools/run_pylint.sh
+++ b/tools/run_pylint.sh
@@ -16,10 +16,6 @@
 # Ensure we are at the project root directory
 cd $(readlink -f $(dirname $0))/..
 
-if [ -f "py_virtual_env/bin/pylint" ]; then
-    PYLINT=py_virtual_env/bin/pylint
-else
-    PYLINT=pylint
-fi
+export PATH="py_virtual_env/bin:$PATH"
 
-"$PYLINT" --score=n `git ls-files --deduplicate --exclude-standard --full-name '*.py'`
+pylint --score=n `git ls-files --deduplicate --exclude-standard --full-name '*.py'`