diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2022-05-29 13:14:45 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2022-05-29 13:14:45 +0200 |
| commit | 4056cc421d02e7b8df426551954814f15195afa9 (patch) | |
| tree | 785733049ea40e86e6cfaa02be3c66c0c2f47470 | |
| parent | 9690f8948dca5fdb0ad492ed5a44b53e68a8af7c (diff) | |
| download | sebastiano.tronto.net-4056cc421d02e7b8df426551954814f15195afa9.tar.gz sebastiano.tronto.net-4056cc421d02e7b8df426551954814f15195afa9.zip | |
Workaround for a bug in lowdown
| -rwxr-xr-x | build.sh | 8 |
1 files changed, 7 insertions, 1 deletions
| @@ -19,8 +19,14 @@ recursivebuild() { | |||
| 19 | lowdown "$1/$file" >> "$destdir/index.html" | 19 | lowdown "$1/$file" >> "$destdir/index.html" |
| 20 | cat bottom.html >> "$destdir/index.html" | 20 | cat bottom.html >> "$destdir/index.html" |
| 21 | 21 | ||
| 22 | # TODO: the following lines contain a dirty fix | ||
| 23 | # to deal with a bug in lowdown. Remove all the | ||
| 24 | # sed lines when fixed. | ||
| 22 | lowdown -Tgemini --gemini-link-roman \ | 25 | lowdown -Tgemini --gemini-link-roman \ |
| 23 | "$1/$file" > "$destdir_gmi/index.gmi" | 26 | "$1/$file" \ |
| 27 | | sed '/```./i```' \ | ||
| 28 | | sed '/```./ s/```//' \ | ||
| 29 | > "$destdir_gmi/index.gmi" | ||
| 24 | cat bottom.gmi >> "$destdir_gmi/index.gmi" | 30 | cat bottom.gmi >> "$destdir_gmi/index.gmi" |
| 25 | elif [ "$extension" = "html" ]; then | 31 | elif [ "$extension" = "html" ]; then |
| 26 | cat top.html "$1/$file" bottom.html \ | 32 | cat top.html "$1/$file" bottom.html \ |
