path: root / awk-edits / Pagenav.awk


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

# .*(blog|slides|teaching|tutorials|misc)/.*/.*html
#
# == About ==
#
# I call pagenav the stuff directly below the first h1. These include file dates
# and GitLab source link.
# Currently it only works for blog and tutorial pages.
#
# This is by far the most hard-coded and inefficient awk script in awk-edits.
# Creation and last edited dates are taken from git commits, and getting the correct info
# by file name can only be done (easily) with git log, which is unfortunately very slow.
# Another issue is that it depends on the build directories in build scripts, meaning
# it won't work without modification if you try to build it somewhere else.
#
# Split into Pagenav.awk and post-pagenav.awk

nopagenav == 0 && /<h1/ {
	match(FILENAME, /(blog|slides|teaching|tutorials|misc)\/.*\//)
	$0 = $0 ORS \
"<div id=\"pagenav\">" ORS \
"	<strong>Created: " created "</strong> || <strong>Edited: " edited "</strong>" ORS \
"	|| <a href=\"https://gitlab.com/Syndamia/syndamiadotcom/-/blob/master/src/" substr(FILENAME, start, length(FILENAME) - start - 3) "md\"><strong>GitLab source</strong></a>" ORS \
"</div>"

	nopagenav = 1
}