@@ -24,12 +24,15 @@ SKIP_FILENAMES = [
26def get_options(source):
26def get_options(source):
27− source_dirpath = path.dirname(source)
28 options = BAT_OPTIONS.copy()
27 options = BAT_OPTIONS.copy()
29+ source_dirpath = path.dirname(source)
29 options_file = path.join(source_dirpath, "bat_options")
30 options_file = path.join(source_dirpath, "bat_options")
30− if path.exists(options_file):
31+ try:
31 with open(options_file, "r") as f:
32 with open(options_file, "r") as f:
32 options += list(map(lambda x: x.rstrip(), f.readlines()))
33 options += list(map(lambda x: x.rstrip(), f.readlines()))
34+ except FileNotFoundError:
33 return options
36 return options