diff options
| author | June McEnroe <june@causal.agency> | 2019-12-15 17:26:08 -0500 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2019-12-15 17:26:21 -0500 |
| commit | 09eff19fde7ea30e4837af271e88b1bb96e00c82 (patch) | |
| tree | 4c4d40e907c89f90abe88e1e6c89a201bf7b2812 | |
| parent | Link to git. from causal.agency (diff) | |
| download | src-09eff19fde7ea30e4837af271e88b1bb96e00c82.tar.gz src-09eff19fde7ea30e4837af271e88b1bb96e00c82.zip | |
Link to git. from bin html
| -rw-r--r-- | bin/html.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/html.sh b/bin/html.sh index 924cb278..e5a15fdc 100644 --- a/bin/html.sh +++ b/bin/html.sh @@ -1,14 +1,14 @@ #!/bin/sh set -eu -readonly GiteaURL='https://code.causal.agency/june/src/src/branch/master/bin' +readonly GitURL='https://git.causal.agency/src/tree/bin' src=$1 man=${2:-} ./hi -f html -o document,tab=4 -n "$src" /dev/null | sed '/<pre/d' cat <<- EOF - <code><a href="${GiteaURL}/${src}">${src} in git</a></code> + <code><a href="${GitURL}/${src}">${src} in git</a></code> EOF [ -f "$man" ] && man -P cat "${PWD}/${man}" | ./ttpre ./hi -f html -o anchor "$src" |