annotate lisp/filecache.el @ 22104:ce3f89a932d1

(read_char): If redisplay is preempted, try swallow_events; if that clears input_pending, finish the redisplay. (parse_menu_item): Removed unnecessary gcproing. Fix a test of inmenubar.
author Richard M. Stallman <rms@gnu.org>
date Sat, 16 May 1998 18:30:52 +0000
parents ca7b274a97d9
children a77d473867b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 ;;; filecache.el --- Find files using a pre-loaded cache
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2 ;;
21886
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
3 ;; Author: Peter Breton <pbreton@cs.umb.edu>
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4 ;; Created: Sun Nov 10 1996
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 ;; Keywords:
21886
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
6 ;; Time-stamp: <1998-04-29 22:38:56 pbreton>
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 ;;
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
8 ;; Copyright (C) 1996 Free Software Foundation, Inc.
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
9
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
10 ;; This file is part of GNU Emacs.
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
11
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
12 ;; GNU Emacs is free software; you can redistribute it and/or modify
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; it under the terms of the GNU General Public License as published by
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; the Free Software Foundation; either version 2, or (at your option)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; any later version.
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
16
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
17 ;; GNU Emacs is distributed in the hope that it will be useful,
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
20 ;; GNU General Public License for more details.
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
21
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 ;; You should have received a copy of the GNU General Public License
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
23 ;; along with GNU Emacs; see the file COPYING. If not, write to the
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
24 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
25 ;; Boston, MA 02111-1307, USA.
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
26
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;;; Commentary:
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 ;; The file-cache package is an attempt to make it easy to locate files
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 ;; by name, without having to remember exactly where they are located.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 ;; This is very handy when working with source trees. You can also add
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 ;; frequently used files to the cache to create a hotlist effect.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ;; The cache can be used with any interactive command which takes a
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 ;; filename as an argument.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ;; It is worth noting that this package works best when most of the files
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ;; in the cache have unique names, or (if they have the same name) exist in
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ;; only a few directories. The worst case is many files all with
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 ;; the same name and in different directories, for example a big source tree
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ;; with a Makefile in each directory. In such a case, you should probably
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 ;; use an alternate strategy to find the files.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 ;; ADDING FILES TO THE CACHE:
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 ;; Use the following functions to add items to the file cache:
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 ;; * `file-cache-add-file': Adds a single file to the cache
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 ;; * `file-cache-add-file-list': Adds a list of files to the cache
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 ;; The following functions use the regular expressions in
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ;; `file-cache-delete-regexps' to eliminate unwanted files:
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 ;; * `file-cache-add-directory': Adds the files in a directory to the
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 ;; cache. You can also specify a regular expression to match the files
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 ;; which should be added.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 ;; * `file-cache-add-directory-list': Same as above, but acts on a list
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 ;; of directories. You can use `load-path', `exec-path' and the like.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 ;; * `file-cache-add-directory-using-find': Uses the `find' command to
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 ;; add a directory tree to the cache.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 ;; * `file-cache-add-directory-using-locate': Uses the `locate' command to
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 ;; add files matching a pattern to the cache.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 ;; Use the function `file-cache-clear-cache' to remove all items from the
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 ;; cache. There are a number of `file-cache-delete' functions provided
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 ;; as well, but in general it is probably better to not worry too much
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 ;; about extra files in the cache.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 ;; The most convenient way to initialize the cache is with an
21886
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
73 ;; `eval-after-load' function, as noted in the ADDING FILES
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
74 ;; AUTOMATICALLY section.
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 ;; FINDING FILES USING THE CACHE:
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 ;; You can use the file-cache with any function that expects a filename as
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 ;; an argument. For example:
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 ;; 1) Invoke a function which expects a filename as an argument:
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 ;; M-x find-file
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 ;; 2) Begin typing a file name.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 ;; 3) Invoke `file-cache-minibuffer-complete' (bound by default to
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 ;; C-TAB) to complete on the filename using the cache.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 ;; 4) When you have found a unique completion, the minibuffer contents
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 ;; will change to the full name of that file.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 ;; If there are a number of directories which contain the completion,
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 ;; invoking `file-cache-minibuffer-complete' repeatedly will cycle through
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 ;; them.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 ;; 5) You can then edit the minibuffer contents, or press RETURN.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 ;; It is much easier to simply try it than trying to explain it :)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 ;;
21886
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
100 ;;; ADDING FILES AUTOMATICALLY
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 ;; For maximum utility, you should probably define an `eval-after-load'
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 ;; form which loads your favorite files:
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 ;; (eval-after-load
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 ;; "filecache"
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 ;; '(progn
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 ;; (message "Loading file cache...")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 ;; (file-cache-add-directory-using-find "~/projects")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 ;; (file-cache-add-directory-list load-path)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 ;; (file-cache-add-directory "~/")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 ;; (file-cache-add-file-list (list "~/foo/bar" "~/baz/bar"))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 ;; ))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 ;; If you clear and reload the cache frequently, it is probably easiest
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 ;; to put your initializations in a function:
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 ;; (eval-after-load
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 ;; "filecache"
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 ;; '(my-file-cache-initialize))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 ;; (defun my-file-cache-initialize ()
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 ;; (interactive)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 ;; (message "Loading file cache...")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 ;; (file-cache-add-directory-using-find "~/projects")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 ;; (file-cache-add-directory-list load-path)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 ;; (file-cache-add-directory "~/")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 ;; (file-cache-add-file-list (list "~/foo/bar" "~/baz/bar"))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 ;; ))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 ;; Of course, you can still add files to the cache afterwards, via
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 ;; Lisp functions.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 ;; RELATED WORK:
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 ;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 ;; This package is a distant relative of Noah Friedman's fff utilities.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 ;; Our goal is pretty similar, but the implementation strategies are
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 ;; different.
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
139
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 ;;; Code:
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141
20597
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
142 (defgroup file-cache nil
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
143 "Find files using a pre-loaded cache."
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
144 :group 'files
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
145 :prefix "file-cache-")
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
146
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
21886
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
148 ;; Customization Variables
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 ;; User-modifiable variables
20597
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
152 (defcustom file-cache-filter-regexps
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 (list "~$" "\\.o$" "\\.exe$" "\\.a$" "\\.elc$" ",v$" "\\.output$"
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 "\\.$" "#$")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 "*List of regular expressions used as filters by the file cache.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 File names which match these expressions will not be added to the cache.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 Note that the functions `file-cache-add-file' and `file-cache-add-file-list'
20597
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
158 do not use this variable."
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
159 :type '(repeat regexp)
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
160 :group 'file-cache)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161
20597
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
162 (defcustom file-cache-find-command "find"
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
163 "*External program used by `file-cache-add-directory-using-find'."
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
164 :type 'string
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
165 :group 'file-cache)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166
20597
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
167 (defcustom file-cache-locate-command "locate"
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
168 "*External program used by `file-cache-add-directory-using-locate'."
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
169 :type 'string
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
170 :group 'file-cache)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 ;; Minibuffer messages
20597
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
173 (defcustom file-cache-no-match-message " [File Cache: No match]"
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
174 "Message to display when there is no completion."
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
175 :type 'string
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
176 :group 'file-cache)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177
20597
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
178 (defcustom file-cache-sole-match-message " [File Cache: sole completion]"
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
179 "Message to display when there is only one completion."
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
180 :type 'string
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
181 :group 'file-cache)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182
20597
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
183 (defcustom file-cache-non-unique-message
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
184 " [File Cache: complete but not unique]"
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
185 "Message to display when there is a non-unique completion."
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
186 :type 'string
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
187 :group 'file-cache)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 (defvar file-cache-multiple-directory-message nil)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 ;; Internal variables
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 ;; This should be named *Completions* because that's what the function
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 ;; switch-to-completions in simple.el expects
20597
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
194 (defcustom file-cache-completions-buffer "*Completions*"
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
195 "Buffer to display completions when using the file cache."
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
196 :type 'string
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
197 :group 'file-cache)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198
20597
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
199 (defcustom file-cache-buffer "*File Cache*"
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
200 "Buffer to hold the cache of file names."
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
201 :type 'string
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
202 :group 'file-cache)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203
20597
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
204 (defcustom file-cache-buffer-default-regexp "^.+$"
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
205 "Regexp to match files in `file-cache-buffer'."
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
206 :type 'regexp
886039ba7b3e Customized.
Andreas Schwab <schwab@suse.de>
parents: 20578
diff changeset
207 :group 'file-cache)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 (defvar file-cache-last-completion nil)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 (defvar file-cache-alist nil
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 "Internal data structure to hold cache of file names.")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 (defvar file-cache-completions-keymap nil
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 "Keymap for file cache completions buffer.")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 ;; Functions to add files to the cache
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 (defun file-cache-add-directory (directory &optional regexp)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 "Add DIRECTORY to the file cache.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 If the optional REGEXP argument is non-nil, only files which match it will
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 be added to the cache."
21886
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
225 (interactive "DAdd files from directory: ")
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
226 ;; Not an error, because otherwise we can't use load-paths that
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
227 ;; contain non-existent directories.
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
228 (if (not (file-accessible-directory-p directory))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
229 (message "Directory %s does not exist" directory)
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
230 (let* ((dir (expand-file-name directory))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
231 (dir-files (directory-files dir t regexp))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
232 )
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
233 ;; Filter out files we don't want to see
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
234 (mapcar
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
235 '(lambda (file)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 (mapcar
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 '(lambda (regexp)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 (if (string-match regexp file)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 (setq dir-files (delq file dir-files))))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 file-cache-filter-regexps))
21886
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
241 dir-files)
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
242 (file-cache-add-file-list dir-files))))
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 (defun file-cache-add-directory-list (directory-list &optional regexp)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 "Add DIRECTORY-LIST (a list of directory names) to the file cache.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 If the optional REGEXP argument is non-nil, only files which match it
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 will be added to the cache. Note that the REGEXP is applied to the files
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 in each directory, not to the directory list itself."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 (interactive "XAdd files from directory list: ")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 (mapcar
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 '(lambda (dir) (file-cache-add-directory dir regexp))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 directory-list))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 (defun file-cache-add-file-list (file-list)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 "Add FILE-LIST (a list of files names) to the file cache."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 (interactive "XFile List: ")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 (mapcar 'file-cache-add-file file-list))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 ;; Workhorse function
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 (defun file-cache-add-file (file)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 "Add FILE to the file cache."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 (interactive "fAdd File: ")
21886
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
263 (if (not (file-exists-p file))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
264 (message "File %s does not exist" file)
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
265 (let* ((file-name (file-name-nondirectory file))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
266 (dir-name (file-name-directory file))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
267 (the-entry (assoc file-name file-cache-alist))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
268 )
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
269 ;; Does the entry exist already?
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
270 (if the-entry
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
271 (if (or (and (stringp (cdr the-entry))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
272 (string= dir-name (cdr the-entry)))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
273 (and (listp (cdr the-entry))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
274 (member dir-name (cdr the-entry))))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
275 nil
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
276 (setcdr the-entry (append (list dir-name) (cdr the-entry)))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
277 )
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
278 ;; If not, add it to the cache
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
279 (setq file-cache-alist
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
280 (cons (cons file-name (list dir-name))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
281 file-cache-alist)))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
282 )))
ca7b274a97d9 (file-cache-add-file): Checks to see if file exists
Richard M. Stallman <rms@gnu.org>
parents: 21045
diff changeset
283
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 (defun file-cache-add-directory-using-find (directory)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 "Use the `find' command to add files to the file cache.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 Find is run in DIRECTORY."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 (interactive "DAdd files under directory: ")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 (let ((dir (expand-file-name directory)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 (set-buffer (get-buffer-create file-cache-buffer))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 (erase-buffer)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 (call-process file-cache-find-command nil
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 (get-buffer file-cache-buffer) nil
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 dir "-name"
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 (if (memq system-type
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 (list 'windows-nt 'ms-dos)) "'*'" "*")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 "-print")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 (file-cache-add-from-file-cache-buffer)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 (defun file-cache-add-directory-using-locate (string)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 "Use the `locate' command to add files to the file cache.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301 STRING is passed as an argument to the locate command."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 (interactive "sAdd files using locate string: ")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 (set-buffer (get-buffer-create file-cache-buffer))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 (erase-buffer)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 (call-process file-cache-locate-command nil
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 (get-buffer file-cache-buffer) nil
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 string)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 (file-cache-add-from-file-cache-buffer))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
309
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
310 (defun file-cache-add-from-file-cache-buffer (&optional regexp)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 "Add any entries found in the file cache buffer.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312 Each entry matches the regular expression `file-cache-buffer-default-regexp'
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 or the optional REGEXP argument."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 (set-buffer file-cache-buffer)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 (mapcar
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316 (function (lambda (elt)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
317 (goto-char (point-min))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318 (delete-matching-lines elt)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
319 file-cache-filter-regexps)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
320 (goto-char (point-min))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321 (let ((full-filename))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 (while (re-search-forward
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323 (or regexp file-cache-buffer-default-regexp)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
324 (point-max) t)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
325 (setq full-filename (buffer-substring-no-properties
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
326 (match-beginning 0) (match-end 0)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
327 (file-cache-add-file full-filename))))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
328
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
329 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330 ;; Functions to delete from the cache
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
332
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
333 (defun file-cache-clear-cache ()
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
334 "Clear the file cache."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
335 (interactive)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
336 (setq file-cache-alist nil))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
338 ;; This clears *all* files with the given name
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
339 (defun file-cache-delete-file (file)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
340 "Delete FILE from the file cache."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
341 (interactive
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342 (list (completing-read "Delete file from cache: " file-cache-alist)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
343 (setq file-cache-alist
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
344 (delq (assoc file file-cache-alist) file-cache-alist)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
345
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
346 (defun file-cache-delete-file-list (file-list)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
347 "Delete FILE-LIST (a list of files) from the file cache."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
348 (interactive "XFile List: ")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
349 (mapcar 'file-cache-delete-file file-list))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
350
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
351 (defun file-cache-delete-file-regexp (regexp)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
352 "Delete files matching REGEXP from the file cache."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
353 (interactive "sRegexp: ")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
354 (let ((delete-list))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
355 (mapcar '(lambda (elt)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
356 (and (string-match regexp (car elt))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
357 (setq delete-list (cons (car elt) delete-list))))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
358 file-cache-alist)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
359 (file-cache-delete-file-list delete-list)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
360 (message "Deleted %d files from file cache" (length delete-list))))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
361
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
362 (defun file-cache-delete-directory (directory)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
363 "Delete DIRECTORY from the file cache."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
364 (interactive "DDelete directory from file cache: ")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
365 (let ((dir (expand-file-name directory))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
366 (result 0))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
367 (mapcar
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
368 '(lambda (entry)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
369 (if (file-cache-do-delete-directory dir entry)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
370 (setq result (1+ result))))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
371 file-cache-alist)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
372 (if (zerop result)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
373 (error "No entries containing %s found in cache" directory)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
374 (message "Deleted %d entries" result))))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
375
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
376 (defun file-cache-do-delete-directory (dir entry)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
377 (let ((directory-list (cdr entry))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
378 (directory (file-cache-canonical-directory dir))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
379 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
380 (and (member directory directory-list)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
381 (if (equal 1 (length directory-list))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
382 (setq file-cache-alist
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
383 (delq entry file-cache-alist))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
384 (setcdr entry (delete directory directory-list)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
385 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
386 ))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
387
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
388 (defun file-cache-delete-directory-list (directory-list)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
389 "Delete DIRECTORY-LIST (a list of directories) from the file cache."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
390 (interactive "XDirectory List: ")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
391 (mapcar 'file-cache-delete-directory directory-list))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
392
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
393 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
394 ;; Utility functions
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
395 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
396
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
397 ;; Returns the name of a directory for a file in the cache
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
398 (defun file-cache-directory-name (file)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
399 (let* ((directory-list (cdr (assoc file file-cache-alist)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
400 (len (length directory-list))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
401 (directory)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
402 (num)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
403 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
404 (if (not (listp directory-list))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
405 (error "Unknown type in file-cache-alist for key %s" file))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
406 (cond
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
407 ;; Single element
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
408 ((eq 1 len)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
409 (setq directory (elt directory-list 0)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
410 ;; No elements
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
411 ((eq 0 len)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
412 (error "No directory found for key %s" file))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
413 ;; Multiple elements
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
414 (t
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
415 (let* ((minibuffer-dir (file-name-directory (buffer-string)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
416 (dir-list (member minibuffer-dir directory-list))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
417 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
418 (setq directory
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
419 ;; If the directory is in the list, return the next element
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
420 ;; Otherwise, return the first element
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
421 (if dir-list
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
422 (or (elt directory-list
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
423 (setq num (1+ (- len (length dir-list)))))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
424 (elt directory-list (setq num 0)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
425 (elt directory-list (setq num 0))))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
426 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
428 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
429 ;; If there were multiple directories, set up a minibuffer message
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
430 (setq file-cache-multiple-directory-message
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
431 (and num (format " [%d of %d]" (1+ num) len)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
432 directory))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
433
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
434 ;; Returns the name of a file in the cache
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
435 (defun file-cache-file-name (file)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
436 (let ((directory (file-cache-directory-name file)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
437 (concat directory file)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
438
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
439 ;; Return a canonical directory for comparison purposes.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
440 ;; Such a directory ends with a forward slash.
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
441 (defun file-cache-canonical-directory (dir)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
442 (let ((directory dir))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 (if (not (char-equal ?/ (string-to-char (substring directory -1))))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
444 (concat directory "/")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
445 directory)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
446
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
447 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
448 ;; Minibuffer functions
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
449 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
450
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
451 ;; The prefix argument works around a bug in the minibuffer completion.
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
452 ;; The completion function doesn't distinguish between the states:
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
453 ;;
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
454 ;; "Multiple completions of name" (eg, Makefile, Makefile.in)
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
455 ;; "Name available in multiple directories" (/tmp/Makefile, ~me/Makefile)
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
456 ;;
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
457 ;; The default is to do the former; a prefix arg forces the latter.
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
458
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
459 ;;;###autoload
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
460 (defun file-cache-minibuffer-complete (arg)
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
461 "Complete a filename in the minibuffer using a preloaded cache.
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
462 Filecache does two kinds of substitution: it completes on names in
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
463 the cache, and, once it has found a unique name, it cycles through
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
464 the directories that the name is available in. With a prefix argument,
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
465 the name is considered already unique; only the second substitution
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
466 \(directories) is done."
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
467 (interactive "P")
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
468 (let*
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
469 (
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
470 (completion-ignore-case nil)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
471 (case-fold-search nil)
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
472 (string (file-name-nondirectory (buffer-string)))
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
473 (completion-string (try-completion string file-cache-alist))
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
474 (completion-list)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
475 (len)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
476 (file-cache-string)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
477 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
478 (cond
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
479 ;; If it's the only match, replace the original contents
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
480 ((or arg (eq completion-string t))
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
481 (setq file-cache-string (file-cache-file-name string))
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
482 (if (string= file-cache-string (buffer-string))
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
483 (file-cache-temp-minibuffer-message file-cache-sole-match-message)
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
484 (erase-buffer)
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
485 (insert-string file-cache-string)
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
486 (if file-cache-multiple-directory-message
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
487 (file-cache-temp-minibuffer-message
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
488 file-cache-multiple-directory-message))
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
489 ))
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
490
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
491 ;; If it's the longest match, insert it
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
492 ((stringp completion-string)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
493 ;; If we've already inserted a unique string, see if the user
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
494 ;; wants to use that one
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
495 (if (and (string= string completion-string)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
496 (assoc string file-cache-alist))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
497 (if (and (eq last-command this-command)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
498 (string= file-cache-last-completion completion-string))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
499 (progn
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
500 (erase-buffer)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
501 (insert-string (file-cache-file-name completion-string))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
502 (setq file-cache-last-completion nil)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
503 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
504 (file-cache-temp-minibuffer-message file-cache-non-unique-message)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
505 (setq file-cache-last-completion string)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
506 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
507 (setq file-cache-last-completion string)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
508 (setq completion-list (all-completions string file-cache-alist)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
509 len (length completion-list))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
510 (if (> len 1)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
511 (progn
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
512 (goto-char (point-max))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
513 (insert-string
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
514 (substring completion-string (length string)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
515 ;; Add our own setup function to the Completions Buffer
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
516 (let ((completion-setup-hook
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
517 (reverse
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
518 (append (list 'file-cache-completion-setup-function)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
519 completion-setup-hook)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
520 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
521 (with-output-to-temp-buffer file-cache-completions-buffer
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
522 (display-completion-list completion-list))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
523 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
524 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
525 (setq file-cache-string (file-cache-file-name completion-string))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
526 (if (string= file-cache-string (buffer-string))
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
527 (file-cache-temp-minibuffer-message
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
528 file-cache-sole-match-message)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
529 (erase-buffer)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
530 (insert-string file-cache-string)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
531 (if file-cache-multiple-directory-message
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
532 (file-cache-temp-minibuffer-message
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
533 file-cache-multiple-directory-message)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
534 )))
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
535
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
536 ;; No match
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
537 ((eq completion-string nil)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
538 (file-cache-temp-minibuffer-message file-cache-no-match-message))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
539 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
540 ))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
541
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
542 ;; Lifted from "complete.el"
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
543 (defun file-cache-temp-minibuffer-message (msg)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
544 "A Lisp version of `temp_minibuffer_message' from minibuf.c."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
545 (let ((savemax (point-max)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
546 (save-excursion
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
547 (goto-char (point-max))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
548 (insert msg))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
549 (let ((inhibit-quit t))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
550 (sit-for 2)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
551 (delete-region savemax (point-max))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
552 (if quit-flag
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
553 (setq quit-flag nil
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
554 unread-command-events (list 7))))))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
555
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
556 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
557 ;; Completion functions
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
558 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
559
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
560 (defun file-cache-completion-setup-function ()
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
561 (set-buffer file-cache-completions-buffer)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
562
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
563 (if file-cache-completions-keymap
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
564 nil
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
565 (setq file-cache-completions-keymap
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
566 (copy-keymap completion-list-mode-map))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
567 (define-key file-cache-completions-keymap [mouse-2]
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
568 'file-cache-mouse-choose-completion)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
569 (define-key file-cache-completions-keymap "\C-m"
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
570 'file-cache-choose-completion))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
571
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
572 (use-local-map file-cache-completions-keymap)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
573 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
574
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
575 (defun file-cache-choose-completion ()
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
576 "Choose a completion in the `*Completions*' buffer."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
577 (interactive)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
578 (let ((completion-no-auto-exit t))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
579 (choose-completion)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
580 (select-window (active-minibuffer-window))
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
581 (file-cache-minibuffer-complete nil)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
582 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
583 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
584
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
585 (defun file-cache-mouse-choose-completion (event)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
586 "Choose a completion with the mouse."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
587 (interactive "e")
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
588 (let ((completion-no-auto-exit t))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
589 (mouse-choose-completion event)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
590 (select-window (active-minibuffer-window))
20578
7eb29ad824eb (file-cache-minibuffer-complete): Accept a prefix arg.
Richard M. Stallman <rms@gnu.org>
parents: 18388
diff changeset
591 (file-cache-minibuffer-complete nil)
18388
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
592 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
593 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
594
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
595 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
596 ;; Debugging functions
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
597 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
598
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
599 (defun file-cache-debug-read-from-minibuffer (file)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
600 "Debugging function."
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
601 (interactive
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
602 (list (completing-read "File Cache: " file-cache-alist)))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
603 (message "%s" (assoc file file-cache-alist))
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
604 )
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
605
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
606 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
607 ;; Keybindings
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
608 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
609
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
610 ;;;###autoload (define-key minibuffer-local-completion-map [C-tab] 'file-cache-minibuffer-complete)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
611 ;;;###autoload (define-key minibuffer-local-map [C-tab] 'file-cache-minibuffer-complete)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
612 ;;;###autoload (define-key minibuffer-local-must-match-map [C-tab] 'file-cache-minibuffer-complete)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
613
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
614 (provide 'filecache)
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
615
7e14277c51f3 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
616 ;;; filecache.el ends here