GNU bug report logs - #18716
24.3; dired-omit-extensions's default value omits COPYING.LIB

Previous Next

Full log

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

From: Reuben Thomas <rrt <at> sc3d.org>
To: 18716 <at> debbugs.gnu.org
Subject: Patch for this bug
Date: Tue, 8 Nov 2016 17:51:26 +0000

[Message part 1 (text/plain, inline)]

I attach a patch for this bug.

It makes dired-mark-unmarked-files act case-insensitively. This seems
reasonable, as there's nothing to suggest it does otherwise.

Also, it is better than Stefan's suggestion to use auto-mode-case-fold, as
when visiting files, the user will quickly see if a file has been e.g.
visited in the wrong major mode owing to an uppercase filename being
treated as a lowercase one; whereas in dired-omit-mode, files can be hidden
counter to the user's expectation, as happened to me with COPYING.LIB, yet
it is not obvious (because the file is hidden!).

Is this OK to install?

-- 
http://rrt.sc3d.org

[Message part 2 (text/html, inline)]

[0001-Match-files-case-insensitively-in-dired-x.patch (text/x-patch, attachment)]

Previous Next

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