Skip to content

Filenames in output should be quoted #539

Closed
@alexreg

Description

@alexreg

This is motivated by the fact I get output like the following in the LaTeX Compiler log window in VSCode:

Writing /Users/alex/Documents/A filename with spaces.tex (123 bytes)

and only /Users/alex/Documents/A gets highlighted as a filename. In any case, the general practice is to enclose filenames in console output as `/a/b/c`, I believe. This would solve the issue.

I don't know if it covers all cases, but the note_highlighted fn (second parameter) seems to be responsible for this sort of printing. The enclosing of filenames in backticks is probably best done at call-site however (using a helper function?).

While I'm writing this, a bonus would be comma-separating the number of bytes, e.g., 123,456,789 bytes -- or better yet, 123 MB (also kB and B of course). All for readability of course, since this is nitpicking!

Metadata

Metadata

Assignees

No one assigned

    Labels

    good first issueA good issue for new contributors to try tackling!

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions