GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Java/.github/workflows/update_directory_md.yml at master · rpcwork/Java 67 lines (55 loc) · 2.75 KB / Copy pathupdate_directory_md.ymlFile metadata and controls67 lines (55 loc) · 2.75 KB 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 # 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@master - uses: actions/setup-python@master - name: update_directory_md shell: python run: | import os from typing import Iterator URL_BASE = "https://github.com/TheAlgorithms/Java/blob/master" g_output = [] def good_filepaths(top_dir: str = ".") -> Iterator[str]: 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() == ".java": 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('_', ' ')}") 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("_", " "))[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 |
| You are visitor 01402520 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |