changeset 80752:8e78c11def2d

(Shell Command Guessing): Mention dired-guess-shell-case-fold-search. (Bug#417)
author Glenn Morris <rgm@gnu.org>
date Sat, 23 Aug 2008 18:54:05 +0000
parents bb0da1408113
children 54fa0c487055
files man/dired-x.texi
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/man/dired-x.texi	Sat Aug 23 18:52:28 2008 +0000
+++ b/man/dired-x.texi	Sat Aug 23 18:54:05 2008 +0000
@@ -711,6 +711,13 @@
 @noindent
 This will override any predefined rules for the same extensions.
 
+@item dired-guess-shell-case-fold-search
+@vindex dired-guess-shell-case-fold-search
+Default: @code{t}
+
+Non-@code{nil} means @code{dired-guess-shell-alist-default} and
+@code{dired-guess-shell-alist-user} are matched case-insensitively.
+
 @item dired-guess-shell-gnutar
 @vindex dired-guess-shell-gnutar
 @cindex Passing GNU Tar its @samp{z} switch.