From 796fd9c36750047949d1b22bd71bfbe2586a5717 Mon Sep 17 00:00:00 2001 From: toonn Date: Sat, 5 Feb 2022 19:29:58 +0100 Subject: Revert "convert_papermode_to_metadata: Drop disappeared Pylint options" This reverts commit 8372a7602d93eb7fc3d18c8ac071ea9cd6349501. --- doc/tools/convert_papermode_to_metadata.py | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc') diff --git a/doc/tools/convert_papermode_to_metadata.py b/doc/tools/convert_papermode_to_metadata.py index 0a1b21ce..58371193 100755 --- a/doc/tools/convert_papermode_to_metadata.py +++ b/doc/tools/convert_papermode_to_metadata.py @@ -39,6 +39,7 @@ def replace(source, target): result = {} # Read the input file and convert it to a dictionary + # pylint: disable=unspecified-encoding with open(".paperinfo", "r") as infile: reader = csv.reader(infile, skipinitialspace=True) for lineno, row in enumerate(reader): @@ -61,6 +62,7 @@ def replace(source, target): if result: # There's no way to specify encoding in 2.x even though in this case we # could choose to write in UTF-8. + # pylint: disable=unspecified-encoding with open(".metadata.json", "w") as outfile: json.dump(result, outfile, indent=2) else: -- cgit 1.4.1-2-gfad0