diff options
| author | Gustav Eek <gustav.eek@fripost.org> | 2019-11-19 16:16:05 +0100 |
|---|---|---|
| committer | Gustav Eek <gustav.eek@fripost.org> | 2019-11-19 17:02:30 +0100 |
| commit | a80b2b183c2815f50e6fdb6b2d4a4f64bd8a1205 (patch) | |
| tree | 71b9d911cb53a977a52505e66cd975e378976954 | |
| parent | aeebe88068b74145fd6b9d0c77c7851333ee9d87 (diff) | |
[create-a-wiki] Complete with instructions for pandoc upgrade
| -rw-r--r-- | create-a-wiki/development.mdwn | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/create-a-wiki/development.mdwn b/create-a-wiki/development.mdwn index 60c5f74..21149dd 100644 --- a/create-a-wiki/development.mdwn +++ b/create-a-wiki/development.mdwn @@ -36,5 +36,21 @@ sed "/^libdir:/ s|:.*$|: $srcdir/.ikiwiki|" -i "$setup" **Upgrade Ikiwiki.** *TODO fill in how to do this.* -**Upgrade Pandoc.** *TODO fill in how to do this.* +**Upgrade Pandoc.** Pandoc has recent releases of deb-packages. Follow +instructions +on [Installing pandoc](https://pandoc.org/installing.html). In +summary, +identify +[latest release](https://github.com/jgm/pandoc/releases/latest), +scroll down to find link to package. Download and install: +``` +URL=https://github.com/jgm/pandoc/releases/download/2.7.3/pandoc-2.7.3-1-amd64.deb + +DEST=/opt/deb +DEB=$DEST/${URL##*/} +sudo true +sudo mkdir -p +sudo wget -P "$DEST" "$URL" +sudo dpkg -i $DEB +``` |