| Commit message (Collapse) | Author | Age | Lines | SHA | |
|---|---|---|---|---|---|
| * | chore: Remove outdated files | 2025-08-18 | -50/+0 | 0fbac29 | |
| | | |||||
| * | [awk-edits/Pagenav] Added breadcrumbs navigation | 2024-04-03 | -2/+26 | c2e4d7c | |
| | | |||||
| * | [Pagenav] Separated first || from strong tag | 2023-11-06 | -1/+1 | ed43fac | |
| | | |||||
| * | [Pagenav] Added reading time and fixed gitlab links | 2023-10-23 | -2/+2 | 0e454d6 | |
| | | |||||
| * | [generate] Reworked to use csg, updated awk scripts with csg in mind and ↵ | 2023-10-23 | -25/+6 | 3552c3e | |
| | | | | | updated info in _header | ||||
| * | [Pagenav] Updated to work with teaching and misc | 2023-10-01 | -1/+1 | de1f874 | |
| | | |||||
| * | [generate,awk-edits] Renamed talks to slides | 2023-10-01 | -1/+1 | 19d96a1 | |
| | | |||||
| * | [Pagenav] Fixed being added when there is more than one h1 | 2023-09-14 | -1/+2 | 1c90844 | |
| | | |||||
| * | [Pagenav] Removed post-script | 2023-09-11 | -0/+4 | 5168e58 | |
| | | |||||
| * | [Pagenav] Fixed GitLab links not being correct | 2023-09-11 | -1/+2 | 8c93235 | |
| | | | | | Before the timestamps file, the filepath was the proper markdown one, but now it's for the HTML file | ||||
| * | [Pagenav] Updated logic to get timestamps from a "cache" file | 2023-09-10 | -15/+13 | bfdefba | |
| | | | | | | | | | Before, on every website generation, every page ran the git command to extract it's created and edited date. This was very slow, increasing "build" times by over a second. Now, generate.sh creates a special text file with timestamps for all pages that might want it, getting the slow git opeations out of the way first, before any awk scripts, and then the awk script looks into that file for data. The timestamps file is recreated only upon a new commit, so subsequence website builds are faster. | ||||
| * | [awk-edits] Updated documentation of multiple scripts | 2023-01-24 | -2/+4 | 4ce746d | |
| | | |||||
| * | [Pagenav] talks will now also get the nav | 2023-01-19 | -1/+1 | 2d30e00 | |
| | | |||||
| * | [awk] Reworked generation to happen via a combined script, updated scripts ↵ | 2023-01-17 | -0/+39 | 0187e25 | |
| and added info in scripts readme | |||||