From 152d9987286c8050d3033d09e8ef593fa41dc86e Mon Sep 17 00:00:00 2001 From: Pino Toscano Date: Sun, 16 Dec 2018 16:42:46 +0100 Subject: [PATCH] RHEL 8: use platform-python Use the stable platform-python provided in BaseOS, instead of relying on some arbitrary version installed by the user. --- v2v/python_script.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/v2v/python_script.ml b/v2v/python_script.ml index 3159373a1..f2c00c40f 100644 --- a/v2v/python_script.ml +++ b/v2v/python_script.ml @@ -24,7 +24,7 @@ open Unix_utils open Common_gettext.Gettext -let python = "python3" (* Defined by PEP 394 *) +let python = "/usr/libexec/platform-python" type script = { tmpdir : string; (* Temporary directory. *) -- 2.26.2