From ff084c28099a2758d4f780a13289f21a830eb319 Mon Sep 17 00:00:00 2001 From: Mathias Baumann Date: Thu, 7 May 2020 11:22:56 +0200 Subject: [PATCH] Make error correction script user interaction case insensitive --- scripts/correct_error_ids.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/correct_error_ids.py b/scripts/correct_error_ids.py index d1f1cbf57..8717dbf23 100644 --- a/scripts/correct_error_ids.py +++ b/scripts/correct_error_ids.py @@ -126,9 +126,9 @@ def main(): f"Please commit current changes first, and review the results when the script finishes.\n\n" f"Do you want to start [Y/N]? " ) - while len(answer) == 0 or answer not in "YN": + while len(answer) == 0 or answer not in "YNyn": answer = input("[Y/N]? ") - if answer != "Y": + if answer not in "yY": return source_file_names = find_source_files(cwd)