Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Special characters in output file name get garbled #54

Closed
DanielSWolf opened this issue Jan 4, 2019 · 0 comments
Closed

Special characters in output file name get garbled #54

DanielSWolf opened this issue Jan 4, 2019 · 0 comments
Labels
bug

Comments

@DanielSWolf
Copy link
Owner

Special characters (non-ASCII Unicode) in file paths are handled correctly for the input file and the log file. However, they don't work for the output file (at least on Windows). Specifying -o der-frühe-vogel.xml results in a file der-frühe-vogel.xml.
DanielSWolf added a commit that referenced this issue Jan 4, 2019
@DanielSWolf
Fix special characters in output file path
9ba5fc9 
Issue #54
@DanielSWolf DanielSWolf mentioned this issue Jan 4, 2019
Merged
DanielSWolf added a commit that referenced this issue Jan 4, 2019
@DanielSWolf
Merge pull request #55 from DanielSWolf/bugfix/#54-unicode-paths
e5066b5 
Fix special characters in output file path
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@DanielSWolf