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

Fixed file location in creation script

This commit is contained in:
Logan Saso 2020-10-10 12:25:45 -07:00 committed by David Peter
parent 6c68198d19
commit 19b55706ee
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -26,8 +26,9 @@ SKIP_FILENAMES = [
def get_options(source):
source_dirpath = path.dirname(source)
options = BAT_OPTIONS.copy()
if path.exists(path.join(source_dirpath, "bat_options")):
with open(path.join(source, "bat_options"), "r") as f:
options_file = path.join(source_dirpath, "bat_options")
if path.exists(options_file):
with open(options_file, "r") as f:
options += list(map(lambda x: x.rstrip(), f.readlines()))
return options