diff options
author | EuAndreh <eu@euandre.org> | 2022-01-21 00:05:30 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2022-01-21 00:08:53 -0300 |
commit | e7a121e4fb8110cdb0ff4884a556cdfaf906b920 (patch) | |
tree | 162c50be02348ee56c0a614f47a4fe5de7fccb9f /TODOs.md | |
parent | aux/ci/ci-build.sh: Don't --delete on the 2nd, fallback rsync (diff) | |
download | git-permalink-e7a121e4fb8110cdb0ff4884a556cdfaf906b920.tar.gz git-permalink-e7a121e4fb8110cdb0ff4884a556cdfaf906b920.tar.xz |
Partially undo 7bb30b4d8ec7fdb24b23b02f04897d9b0480056f
Pandoc doesn't handle files with diacritics properly, as can be seen in:
$ git notes --ref=refs/notes/ci-logs show 014d4b731abab519c50fe4c7dec94ce1291d2716 | grep pandoc
pandoc: /tmp/uuid-tmpname.diacritic and spaces.2e6006db-7196-3795-135a-4a4e5a8e7d4d: openBinaryFile: invalid argument (invalid character)
I'll stick with spaces only, and when I eventually replace Pandoc with
something smaller and simpler
(as seen in #td-e8d9a644-ead4-af05-8582-eef22af90633), I'll return to
this issue, and inject diacritics back.
Diffstat (limited to 'TODOs.md')
0 files changed, 0 insertions, 0 deletions