diff options
author | Zachary J. Rollyson <me@zjr.io> | 2020-10-17 11:20:24 -0400 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2020-10-17 17:40:51 +0200 |
commit | a3f037773a9ba9dfa21675bc745965864cac9ee8 (patch) | |
tree | d7b42c505d3a6d54fc5b857bcd00bb5d181b8777 | |
parent | c71c8980cf4a7a917d9fb1712985d3abd48ef54b (diff) |
feat: include dotfiles (.) in create_highlighted_versions.py search
-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 a8d0bc78..4319f47a 100755 --- a/tests/syntax-tests/create_highlighted_versions.py +++ b/tests/syntax-tests/create_highlighted_versions.py @@ -39,8 +39,9 @@ def get_options(source): def create_highlighted_versions(output_basepath): root = os.path.dirname(os.path.abspath(__file__)) + sources = path.join(root, "source", "*") - for source in glob.glob(path.join(root, "source", "*", "*")): + for source in glob.glob(path.join(sources, "*")) + glob.glob(path.join(sources, ".*")): try: env = os.environ.copy() env.pop("PAGER", None) |