From bbf062d5616b8660e3c7e3b5bacfd47959b9a3b3 Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Sat, 25 Apr 2020 17:30:58 +1000
Subject: [PATCH] tools: Force pdf2txt to be run by python3.8.

---
 eris/tools.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eris/tools.toml b/eris/tools.toml
index aac4154..d7d365c 100644
--- a/eris/tools.toml
+++ b/eris/tools.toml
@@ -222,7 +222,7 @@ tools_for_extensions = [
 [pdf2txt]
   dependencies = ["python3-pdfminer"]
   url = "https://github.com/pdfminer/pdfminer.six"
-  command = "pdf2txt"
+  command = "python3.8 /usr/bin/pdf2txt"
   success_status = "normal"
 
 [html2text]