[Last generated: Tue 12 Sep 2023 16:31:48 EDT]
⚠️ Please Clone the Wiki Repository to maintain the changes and merge the changes. The Repository Actions will overwrite anything edited directly on Wiki, upon the next push onto the main branch.
-
Clone the Wiki:
$ git clone [email protected]:UW-Advanced-Robotics-Lab/lab-wiki.git
-
Create a new branch:
$ git checkout -b user/jack/edit-2023-09-08
-
Modify files inside
./docs
, and add resources to./docs/resources
📓 The
Action
tab will automatically synchronize the contents inside./docs
to the lab wiki page⚠️ Do not directly modify the wiki tab online, as they will get overridden by a new push from the lab-wiki repository. (lab-wiki
-->lab-wiki.wiki
synchronization is one-way only. )
-
Do not change anything manually between the html tags:
-
<!-- Header --> <!-- Body --> <!-- Here is where you can touch! --> <!-- Footer -->
-
-
Make proper indexing of the header with explicit numbering:
# 1. Section # 1.2 Subsection ...
-
Make sure your file name styles:
[Group]:[File-name].md == [Group]: * Lab: Lab specific contents * Logbook: Logbook, does not need to be up-to-date instruction * Tips: General Tips, need to be concise, and up-to-date * Waterloo-Steel: Hardware specific and setup related, MUST up-to-date, and concise, summarized and step-by-step instructions
- This file name style will be used by the header generator to generate the Table-of-Contents (TOC) in the next step
-
To generate Table of Contents:
-
Invoke markdown auto-gen scripts:
# This file only targets `${scritp-loc}/../docs/*.md` files # - to update toc for modified files before committing: $ source scripts/markdown-toc.sh && markdown_toc_directory -git # - update all toc for all files regardless of files changes: $ source scripts/markdown-toc.sh && markdown_toc_directory docs
-
⭐ If
uwarl-robot_configs
is installed, use:$ md_toc_dir git # update only modified readme # OR: $ md_toc_dir docs # update all readme in docs # OR: $ md_toc docs/README.md # update a specific readme file
-
-
To generate a Sidebar Header for Github Wiki:
- if-not* install via https://github.com/adriantanasa/github-wiki-sidebar
- (advanced*) config via:
docs/options.json
$ cd docs $ github-wiki-sidebar --silent
-
Push your changes:
$ git commit . $ git push -u origin user/jack/edit-2023-09-08
-
Merge your changes to main --> Publish to Wiki
-
Create a PR like: PR example
- Tag Reviewers [jaku-jaku] or anyone you want to review
- Once review is done, you may hit the button [MERGE]
-
Once, it is merged, the script inside GitHub Actions will publish your changes modified inside "./docs" to the wiki page.
-
check your published status: Status-of-publish
-
View your published wiki: wiki page
-
-
You should also update your local main:
$ git checkout main $ git pull # [OPTIONAL] delete old branch: $ git branch -D user/jack/edit-2023-09-08 # [OPTIONAL] rebase to latest: $ git checkout user/jack/edit-2023-09-08 $ git rebase main $ git push
- VS Code with Extension: free, all OS, as long as you have VSCode
- Typora, great but no longer free
- Obsidian, should be free