This repository has been archived by the owner on Apr 26, 2024. It is now read-only.
Add Version Picker (RUN ONCE) #2
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
| name: Add Version Picker (RUN ONCE) | |
| on: | |
| workflow_dispatch: | |
| jobs: | |
| add-version-picker: | |
| name: Add Version Picker | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Configure Git | |
| run: | | |
| git config user.email "action@synapse.bot.com" | |
| git config user.name "Action Bot" | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Setup mdbook | |
| uses: peaceiris/actions-mdbook@adeb05db28a0c0004681db83893d56c0388ea9ea # v1.2.0 | |
| with: | |
| mdbook-version: '0.4.17' | |
| - name: Copy files to release branches | |
| run: | | |
| for version in "v1.98" "v1.97" "v1.96" "v1.95" "v1.94" "v1.93" "v1.92" "v1.91" "v1.90" "v1.89" "v1.88" "v1.87" "v1.86" "v1.85" "v1.84" "v1.83" "v1.82" "v1.81" "v1.80" "v1.79" "v1.78" "v1.77" "v1.76" "v1.75" "v1.74" "v1.73" "v1.72" "v1.71" "v1.70" "v1.69" "v1.68" "v1.67" "v1.66" "v1.65" "v1.64" "v1.63" "v1.62" "v1.61" "v1.60" "v1.59" "v1.58" "v1.57" "v1.56" "v1.55" "v1.54" "v1.53" "v1.52" "v1.51" "v1.50" "v1.49" "v1.48" "v1.47" "v1.46" "v1.45" "v1.44" "v1.43" "v1.42" "v1.41" "v1.40" "v1.39" "v1.38" "v1.37" | |
| do | |
| git fetch | |
| git checkout -b release-$version origin/release-$version | |
| git checkout develop -- ./book.toml | |
| git checkout develop -- ./docs/website_files/version-picker.js | |
| git checkout develop -- ./docs/website_files/version-picker.css | |
| git checkout develop -- ./docs/website_files/README.md | |
| echo "window.SYNAPSE_VERSION = '$version';" > ./docs/website_files/version.js | |
| # Adding version-picker element to index.hbs | |
| awk '/<button id="search-toggle" class="icon-button" type="button" title="Search. \(Shortkey: s\)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="S" aria-controls="searchbar">/{ | |
| print; getline; print; getline; print; getline; print; | |
| print "\ | |
| <div class=\"version-picker\">\n\ | |
| <div class=\"dropdown\">\n\ | |
| <div class=\"select\">\n\ | |
| <span></span>\n\ | |
| <i class=\"fa fa-chevron-down\"></i>\n\ | |
| </div>\n\ | |
| <input type=\"hidden\" name=\"version\">\n\ | |
| <ul class=\"dropdown-menu\">\n\ | |
| <!-- Versions will be added dynamically in version-picker.js -->\n\ | |
| </ul>\n\ | |
| </div>\n\ | |
| </div>\ | |
| "; | |
| next | |
| } 1' ./docs/website_files/theme/index.hbs > output.html && mv output.html ./docs/website_files/theme/index.hbs | |
| git add ./book.toml ./docs/website_files/version-picker.js ./docs/website_files/version-picker.css ./docs/website_files/version.js ./docs/website_files/README.md ./docs/website_files/theme/index.hbs | |
| git commit -m "Version picker added for $version docs" | |
| git push | |
| done | |
| - name: Build docs for Github Pages | |
| run: | | |
| git fetch | |
| git branch gh-pages origin/gh-pages | |
| for version in "v1.98" "v1.97" "v1.96" "v1.95" "v1.94" "v1.93" "v1.92" "v1.91" "v1.90" "v1.89" "v1.88" "v1.87" "v1.86" "v1.85" "v1.84" "v1.83" "v1.82" "v1.81" "v1.80" "v1.79" "v1.78" "v1.77" "v1.76" "v1.75" "v1.74" "v1.73" "v1.72" "v1.71" "v1.70" "v1.69" "v1.68" "v1.67" "v1.66" "v1.65" "v1.64" "v1.63" "v1.62" "v1.61" "v1.60" "v1.59" "v1.58" "v1.57" "v1.56" "v1.55" "v1.54" "v1.53" "v1.52" "v1.51" "v1.50" "v1.49" "v1.48" "v1.47" "v1.46" "v1.45" "v1.44" "v1.43" "v1.42" "v1.41" "v1.40" "v1.39" "v1.38" "v1.37" | |
| do | |
| git checkout release-$version | |
| mdbook build && cp book/welcome_and_overview.html book/index.html | |
| mkdir ver-temp && cp -r book/* ver-temp/ | |
| rm -r ./book | |
| git checkout gh-pages | |
| rm -r $version | |
| mv ver-temp $version | |
| git add ./$version | |
| git commit -m "Version picker deployed for $version docs to Github Pages" | |
| done | |
| - name: Push to gh-pages | |
| run: | | |
| git checkout gh-pages | |
| git status | |
| git push |