Subject: Re: bug#2739: diff-mode should highlight "diff:" messages

From: Lars Ingebrigtsen <[email-masked]>
Date: Fri, 21 Aug 2020 15:46:00 +0200

積丹尼 Dan Jacobson <[email-masked]> writes:

> LI> Do you have a test case to reproduce this bug?
>
>   lrwxrwxrwx   1 jidanni         4 08-21 21:31 pppp -> zzzz
>   lrwxrwxrwx   1 jidanni         4 08-21 21:30 yyyyy -> ssss
>
> = runs the command dired-diff (found in dired-mode-map)
>
> diff -U0 /home/jidanni/pppp /home/jidanni/yyyyy
> diff: /home/jidanni/pppp: No such file or directory
> diff: /home/jidanni/yyyyy: No such file or directory
>
> Diff finished (diff error).  Fri Aug 21 21:31:28 2020
>
> So the errors should be in red.

Thanks.  The base function called here is apparently:

(diff "/tmp/unexist1" "/tmp/unexist2" "-u")

Which displays the problem.  It looks like diff picks up on it being an
error, but doesn't do any fontizing in this case.  Which I guess should
be set up from 'diff-sentinel'.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no