Skip to content

Commit

Permalink
split files back out
Browse files Browse the repository at this point in the history
  • Loading branch information
Thomas Fish committed Sep 9, 2024
1 parent 78fd090 commit e3c4753
Show file tree
Hide file tree
Showing 3 changed files with 102 additions and 127 deletions.
50 changes: 50 additions & 0 deletions .github/workflows/generate_README.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
name: Generate help docs and README
on:
pull_request:
paths:
- "docs/**/*"

jobs:
make-README:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/checkout@v4
with:
ref: ${{ github.event.pull_request.head.sha }}
- name: Fill template
working-directory: "docs/"
timeout-minutes: 0.1
run: |
sub_doc_parts_from() {
template="$1"
directory="$2"
for file in "$directory"/*; do
if [ -f "$file" ]; then
placeholder="{{ $(echo "${file^^}" | tr ./ _) }}"
echo "Saving $file to $placeholder with expanded environment variables" >&2
# Export file contents to text following a pattern in template.md, e.g.:
# section/test_file.md would replace "{{ SECTION_TEST_FILE_MD }}""
template="${template//"$placeholder"/"$(<"$file")"}"
fi
done
echo "$template"
}
# Fills from docs/sections sections, then docs/help (note "working-directory")
sub_doc_parts_from "$(sub_doc_parts_from "$(<template.md)" "sections")" "help">../README.md
- name: Setup git
run: |
git config --local user.name "github-actions[bot]"
git config --local user.email "github-actions[bot]@users.noreply.github.com"
git remote set-url origin https://${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}
- name: Push README.md changes (if any)
run: |
git add README.md
git update-index --refresh
if ! git diff-index --cached --quiet HEAD; then
echo "Committing changes to README.md"
git commit -m "Automated update of README.md from docs"
git push origin
fi
127 changes: 0 additions & 127 deletions .github/workflows/generate_help_and_readme.yaml

This file was deleted.

52 changes: 52 additions & 0 deletions .github/workflows/generate_help_docs.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,52 @@
name: Generate help docs and README
on:
pull_request:
paths:
- "src/sim_recon/cli/parsing/*"
- "src/sim_recon/settings/formatting.py"

jobs:
generate-help-docs:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/checkout@v4
with:
ref: ${{ github.event.pull_request.head.sha }}
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: "3.12"
- name: Display Python version
run: python -c "import sys; print(sys.version)"
- name: Copy template
run: cp -f docs/template.md README.md
- name: Install (without dependencies)
run: |
python -m pip install --upgrade pip
python -m pip install . --no-deps
- name: Ensure README exists
run: |
if [ ! -f "README.md" ]; then
touch README.md
fi
- name: Get help strings from package
run: |
python -m sim_recon.cli.parsing.otf '--help' >docs/help/sim_otf.txt
python -m sim_recon.cli.parsing.recon '--help' >docs/help/sim_recon.txt
python -m sim_recon.cli.parsing.otf_view '--help' >docs/help/otf_view.txt
- name: Setup git
run: |
git config --local user.name "github-actions[bot]"
git config --local user.email "github-actions[bot]@users.noreply.github.com"
git remote set-url origin https://${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}
- name: Push help docs changes (if any)
run: |
git add docs/*
git update-index --refresh
if ! git diff-index --cached --quiet HEAD; then
echo "Committing changes to help docs"
git commit -m "Automated update of help docs"
git push origin
fi

0 comments on commit e3c4753

Please sign in to comment.