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 | 9c76895de3c2d45a9d0c5408c2a7483ea4a59858 (patch) | |
| tree | 72f4639320cd18167c1c35ae561d706ce65cc589 | |
| parent | Link to git. from causal.agency (diff) | |
| download | src-9c76895de3c2d45a9d0c5408c2a7483ea4a59858.tar.gz src-9c76895de3c2d45a9d0c5408c2a7483ea4a59858.zip | |
Link to git. from bin html
Diffstat (limited to '')
| -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" |