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

Previous Next

Full log

Message #15 received at 2739 <at> debbugs.gnu.org (full text, mbox):

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

>>>>> "LI" == Lars Ingebrigtsen <larsi <at> gnus.org> writes:
LI> jidanni <at> jidanni.org writes:

>> Diff mode likes highlighting things.
>> Well, it should extra-highlight important lines that start with
>> "diff:":
>> 
>> diff -U0 /home/jidanni /cf/tojidanni1/source
>> diff: /home/jidanni/source: No such file or directory
>> 
>> Diff finished.  Sun Mar 22 01:42:11 2009
>> 
>> (And it should detect the error, probably already done in your source code.)

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.

And in the modeline something should indicate an error.

Previous Next

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