chore(devfile) link v2 devfile to :3.15; set image refs to registry.r… #72
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # 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: | |
| - uses: actions/checkout@v2 | |
| - uses: actions/setup-python@v1 | |
| - name: update_directory_md | |
| shell: python | |
| run: | | |
| import os | |
| from typing import Iterator | |
| URL_BASE = "https://github.com/TheAlgorithms/C-Plus-Plus/blob/master" | |
| g_output = [] | |
| def good_filepaths(top_dir: str = ".") -> Iterator[str]: | |
| cpp_exts = tuple(".c .c++ .cc .cpp .cu .cuh .cxx .h .h++ .hh .hpp .hxx".split()) | |
| 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 |