Robot
/
bat
mirror of https://github.com/sharkdp/bat.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Use list.extend(…)

This commit is contained in:
sharkdp 2020-10-11 21:37:25 +02:00
parent bf87f37039
commit 33128d75f2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/syntax-tests/create_highlighted_versions.py vendored
View File

@ -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