2020-01-09 11:29:24 +03:00
|
|
|
# This GitHub Action updates the DIRECTORY.md file (if needed) when doing a git push
|
|
|
|
name: update_directory_md
|
|
|
|
on: [push]
|
|
|
|
jobs:
|
|
|
|
update_directory_md:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2020-01-28 00:37:32 +03:00
|
|
|
- uses: actions/checkout@master
|
|
|
|
- uses: actions/setup-python@v1
|
|
|
|
- name: update_directory_md
|
|
|
|
shell: python
|
2020-01-09 11:29:24 +03:00
|
|
|
run: |
|
|
|
|
import os
|
|
|
|
from typing import Iterator
|
|
|
|
|
2020-04-23 23:56:04 +03:00
|
|
|
URL_BASE = "https://github.com/kvedala/C/blob/master"
|
2020-01-09 11:29:24 +03:00
|
|
|
g_output = []
|
|
|
|
|
|
|
|
|
|
|
|
def good_filepaths(top_dir: str = ".") -> Iterator[str]:
|
2020-01-09 11:39:24 +03:00
|
|
|
cpp_exts = tuple(".c .c++ .cc .cpp .cu .cxx".split())
|
2020-01-09 11:29:24 +03:00
|
|
|
for dirpath, dirnames, filenames in os.walk(top_dir):
|
|
|
|
dirnames[:] = [d for d in dirnames if d[0] not in "._"]
|
|
|
|
for filename in filenames:
|
|
|
|
if os.path.splitext(filename)[1].lower() in cpp_exts:
|
|
|
|
yield os.path.join(dirpath, filename).lstrip("./")
|
|
|
|
|
|
|
|
|
|
|
|
def md_prefix(i):
|
|
|
|
return f"{i * ' '}*" if i else "\n##"
|
|
|
|
|
|
|
|
|
|
|
|
def print_path(old_path: str, new_path: str) -> str:
|
|
|
|
global g_output
|
|
|
|
old_parts = old_path.split(os.sep)
|
|
|
|
for i, new_part in enumerate(new_path.split(os.sep)):
|
|
|
|
if i + 1 > len(old_parts) or old_parts[i] != new_part:
|
|
|
|
if new_part:
|
|
|
|
g_output.append(f"{md_prefix(i)} {new_part.replace('_', ' ').title()}")
|
|
|
|
return new_path
|
|
|
|
|
|
|
|
|
|
|
|
def build_directory_md(top_dir: str = ".") -> str:
|
|
|
|
global g_output
|
|
|
|
old_path = ""
|
|
|
|
for filepath in sorted(good_filepaths(), key=str.lower):
|
|
|
|
filepath, filename = os.path.split(filepath)
|
|
|
|
if filepath != old_path:
|
|
|
|
old_path = print_path(old_path, filepath)
|
|
|
|
indent = (filepath.count(os.sep) + 1) if filepath else 0
|
|
|
|
url = "/".join((URL_BASE, filepath, filename)).replace(" ", "%20")
|
|
|
|
filename = os.path.splitext(filename.replace("_", " ").title())[0]
|
|
|
|
g_output.append(f"{md_prefix(indent)} [{filename}]({url})")
|
|
|
|
return "\n".join(g_output)
|
|
|
|
|
|
|
|
|
|
|
|
with open("DIRECTORY.md", "w") as out_file:
|
|
|
|
out_file.write(build_directory_md(".") + "\n")
|
|
|
|
|
|
|
|
- name: Update DIRECTORY.md
|
|
|
|
run: |
|
|
|
|
cat DIRECTORY.md
|
|
|
|
git config --global user.name github-actions
|
|
|
|
git config --global user.email '${GITHUB_ACTOR}@users.noreply.github.com'
|
|
|
|
git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
|
|
|
|
git add DIRECTORY.md
|
|
|
|
git commit -am "updating DIRECTORY.md" || true
|
|
|
|
git push --force origin HEAD:$GITHUB_REF || true
|