GNU bug report logs - #2739
diff-mode should highlight "diff:" messages

Previous Next

Full log

View this message in rfc822 format

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: 積丹尼 Dan Jacobson <jidanni <at> jidanni.org>
Cc: 2739 <at> debbugs.gnu.org
Subject: bug#2739: diff-mode should highlight "diff:" messages
Date: Fri, 21 Aug 2020 15:46:00 +0200

積丹尼 Dan Jacobson <jidanni <at> jidanni.org> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.