diff options
author | sharkdp <davidpeter@web.de> | 2020-10-11 21:37:25 +0200 |
---|---|---|
committer | sharkdp <davidpeter@web.de> | 2020-10-11 22:18:14 +0200 |
commit | 33128d75f22a7c029df17b1ee595865933551469 (patch) | |
tree | 3ae38bc079a4b8fc253a262663b1796106c2498e /tests | |
parent | bf87f37039c03fdb3be2bfd3e8286d0260023a49 (diff) |
Use list.extend(…)
Diffstat (limited to 'tests')
-rwxr-xr-x | tests/syntax-tests/create_highlighted_versions.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/syntax-tests/create_highlighted_versions.py b/tests/syntax-tests/create_highlighted_versions.py index 70e5048a..a8d0bc78 100755 --- a/tests/syntax-tests/create_highlighted_versions.py +++ b/tests/syntax-tests/create_highlighted_versions.py @@ -30,9 +30,10 @@ def get_options(source): options_file = path.join(source_dirpath, "bat_options") try: with open(options_file, "r") as f: - options += list(map(lambda x: x.rstrip(), f.readlines())) + options.extend(map(lambda x: x.rstrip(), f.readlines())) except FileNotFoundError: pass + return options |