Re: [jed-users] Dino's diff mode

[Dino Sangoi <dino.sangoi@xxxxxxxxx>]

Hi, I found this old message only now, somehow Gmail doesn't like this
mailing list messages.

I'm happy to hear that you find my little mode useful. After many years, I
keep using Jed for many tasks, but for handling diff files is a must!

While I use git, the files I work on are mostly generated by the diff tool,
so I seldom have this problem. But if you hacked a solution, or are
planning to do it, please share the result!

Thanks

Dino

On Fri, Jan 26, 2024, 18:36 Tom Culliton <tom.culliton@xxxxxxxxx> wrote:

> I've been using this to review some big porting diffs recently (MANY
> thanks for making the job more pleasant) and kind of wishing that there was
> a way to do the equivalent of 'patch -p1' and have the
> diff_get_source_file_name function strip off the "a/" or "b/" that git
> prefixes the file names with, to avoid having to manually adjust the path
> every time you want to do anything with a file.
>
> Before I start hacking, has anyone else encountered this and come up with
> an improvement?
>
>