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 | |
| 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.
| -rwxr-xr-x | aux/lib.sh | 2 | ||||
| -rwxr-xr-x | tests/lib.sh | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -13,7 +13,7 @@ uuid() { } tmpname() { - echo "${TMPDIR:-/tmp}/uuid-tmpname.diacritic á and spaces.$(uuid)" + echo "${TMPDIR:-/tmp}/uuid-tmpname with spaces.$(uuid)" } mkstemp() { diff --git a/tests/lib.sh b/tests/lib.sh index 15fe331..750cb68 100755 --- a/tests/lib.sh +++ b/tests/lib.sh @@ -127,7 +127,7 @@ uuid() { } tmpname() { - echo "${TMPDIR:-/tmp}/uuid-tmpname.diacritic á and spaces.$(uuid)" + echo "${TMPDIR:-/tmp}/uuid-tmpname with spaces.$(uuid)" } mkstemp() { |