- Notifications
You must be signed in to change notification settings - Fork295
Open
Description
If I want to diff plain files, independent of git, the natural thing to do is something like:
diff -u file1.js file2.js| diff2html -i stdinThis generally works, but it does not parse the filenames correctly.diff by default renders the filename header like this:
--- file1.js2025-04-06 13:33:10+++ file2.js2025-04-07 09:10:40The parser swallows the timestamps as part of the filename, too, which (1) is distracting clutter and (2) breaks syntax highlighting since it can't interpret the file type from the suffix anymore.
getFilename indiff-parser.js should be able to strip off these suffixes. I think they're always rendered with a\t character between the filename and the time, so it should be pretty straightforward.
Metadata
Metadata
Assignees
Labels
No labels