extern/bat
1
0
Fork 0
mirror of https://github.com/sharkdp/bat.git synced 2024-12-26 00:08:54 +01:00
Code Issues Packages Projects Releases Wiki Activity

Better ask forgiveness than permission

Browse Source
This commit is contained in:
sharkdp 2020-10-11 21:36:42 +02:00
parent 62e715ff5b
commit bf87f37039
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -24,12 +24,15 @@ SKIP_FILENAMES = [
def get_options(source):
source_dirpath = path.dirname(source)
options = BAT_OPTIONS.copy()
source_dirpath = path.dirname(source)
options_file = path.join(source_dirpath, "bat_options")
if path.exists(options_file):
try:
with open(options_file, "r") as f:
options += list(map(lambda x: x.rstrip(), f.readlines()))
except FileNotFoundError:
pass
return options