diff options
author | 2012-01-28 00:21:42 +0000 | |
---|---|---|
committer | 2012-01-28 00:21:42 +0000 | |
commit | 141718da73173855ce08662b1131344e6c10ef46 (patch) | |
tree | 41d5a0ce22ae09308ff54a8e6858a2d8307835fe | |
parent | 13e78fbf88e892959dd65a59a77ac2b89bdc6396 (diff) |
Added a comment
-rw-r--r-- | doc/bugs/problems_with_utf8_names/comment_7_0cc588f787d6eecfa19a8f6cee4b07b5._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/bugs/problems_with_utf8_names/comment_7_0cc588f787d6eecfa19a8f6cee4b07b5._comment b/doc/bugs/problems_with_utf8_names/comment_7_0cc588f787d6eecfa19a8f6cee4b07b5._comment new file mode 100644 index 000000000..5a929940d --- /dev/null +++ b/doc/bugs/problems_with_utf8_names/comment_7_0cc588f787d6eecfa19a8f6cee4b07b5._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawk6QAwUsFHpr3Km1yQbg8hf3S7RDYf7hX4" + nickname="Lauri" + subject="comment 7" + date="2012-01-28T00:21:40Z" + content=""" +7.2. nomeata already explained the issue. I got utf-8 filenames to work on a utf-8 locale by switching from Char8-bytestrings to UTF8-bytestrings, and adding `hSetEncoding h localeEncoding` to suitable places. Making things work properly with an arbitrary locale encoding would be more complicated. +"""]] |