changeset 97630:3cb35be2ee33

(Shell Command Guessing): Mention dired-guess-shell-case-fold-search. (Bug#417)
author Glenn Morris <rgm@gnu.org>
date Sat, 23 Aug 2008 03:17:34 +0000
parents eb867814731d
children ea0abdbd6f3f
files doc/misc/dired-x.texi
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/doc/misc/dired-x.texi	Sat Aug 23 03:16:58 2008 +0000
+++ b/doc/misc/dired-x.texi	Sat Aug 23 03:17:34 2008 +0000
@@ -704,6 +704,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.