Mercurial > emacs
annotate lisp/jka-compr.el @ 13363:941c37982f37
(BITS_PER_SHORT, BITS_PER_INT, BITS_PER_LONG):
Rename from SHORTBITS, INTBITS, LONGBITS.
author | Karl Heuer <kwzh@gnu.org> |
---|---|
date | Tue, 31 Oct 1995 02:34:16 +0000 |
parents | 84acc3adcd63 |
children | 0e46e8075a1d |
rev | line source |
---|---|
13337 | 1 ;;; jka-compr.el --- reading/writing/loading compressed files |
2 | |
6002 | 3 ;;; Copyright (C) 1993, 1994 Free Software Foundation, Inc. |
4 | |
5 ;; Author: jka@ece.cmu.edu (Jay K. Adams) | |
6 ;; Keywords: data | |
7 | |
8 ;;; Commentary: | |
9 | |
10 ;;; This package implements low-level support for reading, writing, | |
11 ;;; and loading compressed files. It hooks into the low-level file | |
12 ;;; I/O functions (including write-region and insert-file-contents) so | |
13 ;;; that they automatically compress or uncompress a file if the file | |
14 ;;; appears to need it (based on the extension of the file name). | |
6041
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
15 ;;; Packages like Rmail, VM, GNUS, and Info should be able to work |
6002 | 16 ;;; with compressed files without modification. |
17 | |
18 | |
19 ;;; INSTRUCTIONS: | |
20 ;;; | |
21 ;;; To use jka-compr, simply load this package, and edit as usual. | |
22 ;;; Its operation should be transparent to the user (except for | |
23 ;;; messages appearing when a file is being compressed or | |
24 ;;; uncompressed). | |
25 ;;; | |
26 ;;; The variable, jka-compr-compression-info-list can be used to | |
27 ;;; customize jka-compr to work with other compression programs. | |
28 ;;; The default value of this variable allows jka-compr to work with | |
29 ;;; Unix compress and gzip. | |
30 ;;; | |
31 ;;; If you are concerned about the stderr output of gzip and other | |
32 ;;; compression/decompression programs showing up in your buffers, you | |
33 ;;; should set the discard-error flag in the compression-info-list. | |
34 ;;; This will cause the stderr of all programs to be discarded. | |
35 ;;; However, it also causes emacs to call compression/uncompression | |
36 ;;; programs through a shell (which is specified by jka-compr-shell). | |
37 ;;; This may be a drag if, on your system, starting up a shell is | |
38 ;;; slow. | |
39 ;;; | |
40 ;;; If you don't want messages about compressing and decompressing | |
41 ;;; to show up in the echo area, you can set the compress-name and | |
42 ;;; decompress-name fields of the jka-compr-compression-info-list to | |
43 ;;; nil. | |
44 | |
45 | |
46 ;;; APPLICATION NOTES: | |
47 ;;; | |
48 ;;; crypt++ | |
49 ;;; jka-compr can coexist with crpyt++ if you take all the decompression | |
50 ;;; entries out of the crypt-encoding-list. Clearly problems will arise if | |
51 ;;; you have two programs trying to compress/decompress files. jka-compr | |
52 ;;; will not "work with" crypt++ in the following sense: you won't be able to | |
53 ;;; decode encrypted compressed files--that is, files that have been | |
54 ;;; compressed then encrypted (in that order). Theoretically, crypt++ and | |
55 ;;; jka-compr could properly handle a file that has been encrypted then | |
56 ;;; compressed, but there is little point in trying to compress an encrypted | |
57 ;;; file. | |
58 ;;; | |
59 | |
60 | |
61 ;;; ACKNOWLEDGMENTS | |
62 ;;; | |
63 ;;; jka-compr is a V19 adaptation of jka-compr for V18 of Emacs. Many people | |
64 ;;; have made helpful suggestions, reported bugs, and even fixed bugs in | |
65 ;;; jka-compr. I recall the following people as being particularly helpful. | |
66 ;;; | |
67 ;;; Jean-loup Gailly | |
68 ;;; David Hughes | |
69 ;;; Richard Pieri | |
70 ;;; Daniel Quinlan | |
71 ;;; Chris P. Ross | |
72 ;;; Rick Sladkey | |
73 ;;; | |
74 ;;; Andy Norman's ange-ftp was the inspiration for the original jka-compr for | |
75 ;;; Version 18 of Emacs. | |
76 ;;; | |
77 ;;; After I had made progress on the original jka-compr for V18, I learned of a | |
78 ;;; package written by Kazushi Jam Marukawa, called jam-zcat, that did exactly | |
79 ;;; what I was trying to do. I looked over the jam-zcat source code and | |
80 ;;; probably got some ideas from it. | |
81 ;;; | |
82 | |
83 ;;; Code: | |
84 | |
85 (defvar jka-compr-shell "sh" | |
86 "*Shell to be used for calling compression programs. | |
87 The value of this variable only matters if you want to discard the | |
88 stderr of a compression/decompression program (see the documentation | |
7066 | 89 for `jka-compr-compression-info-list').") |
6002 | 90 |
91 | |
92 (defvar jka-compr-use-shell t) | |
93 | |
94 | |
95 ;;; I have this defined so that .Z files are assumed to be in unix | |
96 ;;; compress format; and .gz files, in gzip format. | |
97 (defvar jka-compr-compression-info-list | |
98 ;;[regexp | |
7616
b0098553bafe
(jka-compr-compression-info-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7066
diff
changeset
|
99 ;; compr-message compr-prog compr-args |
b0098553bafe
(jka-compr-compression-info-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7066
diff
changeset
|
100 ;; uncomp-message uncomp-prog uncomp-args |
6002 | 101 ;; can-append auto-mode-flag] |
8774
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
102 '(["\\.Z\\(~\\|\\.~[0-9]+~\\)?\\'" |
6002 | 103 "compressing" "compress" ("-c") |
104 "uncompressing" "uncompress" ("-c") | |
105 nil t] | |
9493
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
106 ["\\.tgz\\'" |
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
107 "zipping" "gzip" ("-c" "-q") |
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
108 "unzipping" "gzip" ("-c" "-q" "-d") |
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
109 t nil] |
8774
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
110 ["\\.gz\\(~\\|\\.~[0-9]+~\\)?\\'" |
6002 | 111 "zipping" "gzip" ("-c" "-q") |
112 "unzipping" "gzip" ("-c" "-q" "-d") | |
113 t t]) | |
114 | |
115 "List of vectors that describe available compression techniques. | |
116 Each element, which describes a compression technique, is a vector of | |
7616
b0098553bafe
(jka-compr-compression-info-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7066
diff
changeset
|
117 the form [REGEXP COMPRESS-MSG COMPRESS-PROGRAM COMPRESS-ARGS |
b0098553bafe
(jka-compr-compression-info-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7066
diff
changeset
|
118 UNCOMPRESS-MSG UNCOMPRESS-PROGRAM UNCOMPRESS-ARGS |
b0098553bafe
(jka-compr-compression-info-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7066
diff
changeset
|
119 APPEND-FLAG EXTENSION], where: |
6002 | 120 |
121 regexp is a regexp that matches filenames that are | |
122 compressed with this format | |
123 | |
7616
b0098553bafe
(jka-compr-compression-info-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7066
diff
changeset
|
124 compress-msg is the message to issue to the user when doing this |
b0098553bafe
(jka-compr-compression-info-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7066
diff
changeset
|
125 type of compression (nil means no message) |
b0098553bafe
(jka-compr-compression-info-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7066
diff
changeset
|
126 |
6002 | 127 compress-program is a program that performs this compression |
128 | |
129 compress-args is a list of args to pass to the compress program | |
130 | |
7616
b0098553bafe
(jka-compr-compression-info-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7066
diff
changeset
|
131 uncompress-msg is the message to issue to the user when doing this |
b0098553bafe
(jka-compr-compression-info-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
7066
diff
changeset
|
132 type of uncompression (nil means no message) |
6002 | 133 |
134 uncompress-program is a program that performs this compression | |
135 | |
136 uncompress-args is a list of args to pass to the uncompress program | |
137 | |
138 append-flag is non-nil if this compression technique can be | |
139 appended | |
140 | |
141 auto-mode flag non-nil means strip the regexp from file names | |
142 before attempting to set the mode. | |
143 | |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
144 Because of the way `call-process' is defined, discarding the stderr output of |
6002 | 145 a program adds the overhead of starting a shell each time the program is |
146 invoked.") | |
147 | |
9493
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
148 (defvar jka-compr-mode-alist-additions |
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
149 (list (cons "\\.tgz\\'" 'tar-mode)) |
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
150 "A list of pairs to add to auto-mode-alist when jka-compr is installed.") |
6002 | 151 |
7617
edc853e14f7b
(jka-compr-op-table, jka-compr-file-name-handler-entry): Move defvars.
Richard M. Stallman <rms@gnu.org>
parents:
7616
diff
changeset
|
152 (defvar jka-compr-file-name-handler-entry |
edc853e14f7b
(jka-compr-op-table, jka-compr-file-name-handler-entry): Move defvars.
Richard M. Stallman <rms@gnu.org>
parents:
7616
diff
changeset
|
153 nil |
edc853e14f7b
(jka-compr-op-table, jka-compr-file-name-handler-entry): Move defvars.
Richard M. Stallman <rms@gnu.org>
parents:
7616
diff
changeset
|
154 "The entry in `file-name-handler-alist' used by the jka-compr I/O functions.") |
edc853e14f7b
(jka-compr-op-table, jka-compr-file-name-handler-entry): Move defvars.
Richard M. Stallman <rms@gnu.org>
parents:
7616
diff
changeset
|
155 |
6002 | 156 ;;; Functions for accessing the return value of jka-get-compression-info |
157 (defun jka-compr-info-regexp (info) (aref info 0)) | |
158 (defun jka-compr-info-compress-message (info) (aref info 1)) | |
159 (defun jka-compr-info-compress-program (info) (aref info 2)) | |
160 (defun jka-compr-info-compress-args (info) (aref info 3)) | |
161 (defun jka-compr-info-uncompress-message (info) (aref info 4)) | |
162 (defun jka-compr-info-uncompress-program (info) (aref info 5)) | |
163 (defun jka-compr-info-uncompress-args (info) (aref info 6)) | |
164 (defun jka-compr-info-can-append (info) (aref info 7)) | |
165 (defun jka-compr-info-strip-extension (info) (aref info 8)) | |
166 | |
167 | |
168 (defun jka-compr-get-compression-info (filename) | |
169 "Return information about the compression scheme of FILENAME. | |
170 The determination as to which compression scheme, if any, to use is | |
7066 | 171 based on the filename itself and `jka-compr-compression-info-list'." |
6002 | 172 (catch 'compression-info |
173 (let ((case-fold-search nil)) | |
174 (mapcar | |
175 (function (lambda (x) | |
176 (and (string-match (jka-compr-info-regexp x) filename) | |
177 (throw 'compression-info x)))) | |
178 jka-compr-compression-info-list) | |
179 nil))) | |
180 | |
181 | |
182 (put 'compression-error 'error-conditions '(compression-error file-error error)) | |
183 | |
184 | |
11635
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
185 (defvar jka-compr-acceptable-retval-list '(0 2 141)) |
6002 | 186 |
187 | |
188 (defun jka-compr-error (prog args infile message &optional errfile) | |
189 | |
190 (let ((errbuf (get-buffer-create " *jka-compr-error*")) | |
191 (curbuf (current-buffer))) | |
192 (set-buffer errbuf) | |
193 (widen) (erase-buffer) | |
194 (insert (format "Error while executing \"%s %s < %s\"\n\n" | |
195 prog | |
196 (mapconcat 'identity args " ") | |
197 infile)) | |
198 | |
199 (and errfile | |
200 (insert-file-contents errfile)) | |
201 | |
202 (set-buffer curbuf) | |
203 (display-buffer errbuf)) | |
204 | |
205 (signal 'compression-error (list "Opening input file" (format "error %s" message) infile))) | |
206 | |
207 | |
208 (defvar jka-compr-dd-program | |
209 "/bin/dd") | |
210 | |
211 | |
6041
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
212 (defvar jka-compr-dd-blocksize 256) |
6002 | 213 |
214 | |
215 (defun jka-compr-partial-uncompress (prog message args infile beg len) | |
216 "Call program PROG with ARGS args taking input from INFILE. | |
217 Fourth and fifth args, BEG and LEN, specify which part of the output | |
8065
31eb7a0e2763
(jka-compr-partial-uncompress): Handle the case where
Richard M. Stallman <rms@gnu.org>
parents:
7976
diff
changeset
|
218 to keep: LEN chars starting BEG chars from the beginning." |
6002 | 219 (let* ((skip (/ beg jka-compr-dd-blocksize)) |
220 (prefix (- beg (* skip jka-compr-dd-blocksize))) | |
221 (count (and len (1+ (/ (+ len prefix) jka-compr-dd-blocksize)))) | |
222 (start (point)) | |
223 (err-file (jka-compr-make-temp-name)) | |
224 (run-string (format "%s %s 2> %s | %s bs=%d skip=%d %s 2> /dev/null" | |
225 prog | |
226 (mapconcat 'identity args " ") | |
227 err-file | |
228 jka-compr-dd-program | |
229 jka-compr-dd-blocksize | |
230 skip | |
6041
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
231 ;; dd seems to be unreliable about |
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
232 ;; providing the last block. So, always |
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
233 ;; read one more than you think you need. |
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
234 (if count (concat "count=" (1+ count)) "")))) |
6002 | 235 |
236 (unwind-protect | |
237 (or (memq (call-process jka-compr-shell | |
238 infile t nil "-c" | |
239 run-string) | |
240 jka-compr-acceptable-retval-list) | |
241 | |
242 (jka-compr-error prog args infile message err-file)) | |
243 | |
244 (jka-compr-delete-temp-file err-file)) | |
245 | |
8065
31eb7a0e2763
(jka-compr-partial-uncompress): Handle the case where
Richard M. Stallman <rms@gnu.org>
parents:
7976
diff
changeset
|
246 ;; Delete the stuff after what we want, if there is any. |
6002 | 247 (and |
6041
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
248 len |
8065
31eb7a0e2763
(jka-compr-partial-uncompress): Handle the case where
Richard M. Stallman <rms@gnu.org>
parents:
7976
diff
changeset
|
249 (< (+ start prefix len) (point)) |
6041
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
250 (delete-region (+ start prefix len) (point))) |
6002 | 251 |
8065
31eb7a0e2763
(jka-compr-partial-uncompress): Handle the case where
Richard M. Stallman <rms@gnu.org>
parents:
7976
diff
changeset
|
252 ;; Delete the stuff before what we want. |
6002 | 253 (delete-region start (+ start prefix)))) |
254 | |
255 | |
256 (defun jka-compr-call-process (prog message infile output temp args) | |
257 (if jka-compr-use-shell | |
258 | |
259 (let ((err-file (jka-compr-make-temp-name))) | |
260 | |
261 (unwind-protect | |
262 | |
263 (or (memq | |
264 (call-process jka-compr-shell infile | |
265 (if (stringp output) nil output) | |
266 nil | |
267 "-c" | |
268 (format "%s %s 2> %s %s" | |
269 prog | |
270 (mapconcat 'identity args " ") | |
271 err-file | |
272 (if (stringp output) | |
273 (concat "> " output) | |
274 ""))) | |
275 jka-compr-acceptable-retval-list) | |
276 | |
277 (jka-compr-error prog args infile message err-file)) | |
278 | |
279 (jka-compr-delete-temp-file err-file))) | |
280 | |
281 (or (zerop | |
282 (apply 'call-process | |
283 prog | |
284 infile | |
285 (if (stringp output) temp output) | |
286 nil | |
287 args)) | |
288 (jka-compr-error prog args infile message)) | |
289 | |
290 (and (stringp output) | |
291 (let ((cbuf (current-buffer))) | |
292 (set-buffer temp) | |
293 (write-region (point-min) (point-max) output) | |
294 (erase-buffer) | |
295 (set-buffer cbuf))))) | |
296 | |
297 | |
298 ;;; Support for temp files. Much of this was inspired if not lifted | |
299 ;;; from ange-ftp. | |
300 | |
301 (defvar jka-compr-temp-name-template | |
302 "/tmp/jka-com" | |
303 "Prefix added to all temp files created by jka-compr. | |
7066 | 304 There should be no more than seven characters after the final `/'") |
6002 | 305 |
306 (defvar jka-compr-temp-name-table (make-vector 31 nil)) | |
307 | |
308 (defun jka-compr-make-temp-name (&optional local-copy) | |
309 "This routine will return the name of a new file." | |
310 (let* ((lastchar ?a) | |
311 (prevchar ?a) | |
312 (template (concat jka-compr-temp-name-template "aa")) | |
313 (lastpos (1- (length template))) | |
314 (not-done t) | |
315 file | |
316 entry) | |
317 | |
318 (while not-done | |
319 (aset template lastpos lastchar) | |
320 (setq file (concat (make-temp-name template) "#")) | |
321 (setq entry (intern file jka-compr-temp-name-table)) | |
322 (if (or (get entry 'active) | |
323 (file-exists-p file)) | |
324 | |
325 (progn | |
326 (setq lastchar (1+ lastchar)) | |
327 (if (> lastchar ?z) | |
328 (progn | |
329 (setq prevchar (1+ prevchar)) | |
330 (setq lastchar ?a) | |
331 (if (> prevchar ?z) | |
332 (error "Can't allocate temp file.") | |
333 (aset template (1- lastpos) prevchar))))) | |
334 | |
335 (put entry 'active (not local-copy)) | |
336 (setq not-done nil))) | |
337 | |
338 file)) | |
339 | |
340 | |
341 (defun jka-compr-delete-temp-file (temp) | |
342 | |
343 (put (intern temp jka-compr-temp-name-table) | |
344 'active nil) | |
345 | |
346 (condition-case () | |
347 (delete-file temp) | |
348 (error nil))) | |
349 | |
350 | |
351 (defun jka-compr-write-region (start end file &optional append visit) | |
352 (let* ((filename (expand-file-name file)) | |
353 (visit-file (if (stringp visit) (expand-file-name visit) filename)) | |
354 (info (jka-compr-get-compression-info visit-file))) | |
355 | |
356 (if info | |
357 | |
358 (let ((can-append (jka-compr-info-can-append info)) | |
359 (compress-program (jka-compr-info-compress-program info)) | |
360 (compress-message (jka-compr-info-compress-message info)) | |
361 (uncompress-program (jka-compr-info-uncompress-program info)) | |
362 (uncompress-message (jka-compr-info-uncompress-message info)) | |
363 (compress-args (jka-compr-info-compress-args info)) | |
364 (uncompress-args (jka-compr-info-uncompress-args info)) | |
365 (base-name (file-name-nondirectory visit-file)) | |
11635
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
366 temp-file cbuf temp-buffer) |
6002 | 367 |
368 (setq cbuf (current-buffer) | |
11635
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
369 temp-buffer (get-buffer-create " *jka-compr-wr-temp*")) |
6002 | 370 (set-buffer temp-buffer) |
371 (widen) (erase-buffer) | |
372 (set-buffer cbuf) | |
373 | |
11635
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
374 (if (and append |
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
375 (not can-append) |
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
376 (file-exists-p filename)) |
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
377 |
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
378 (let* ((local-copy (file-local-copy filename)) |
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
379 (local-file (or local-copy filename))) |
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
380 |
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
381 (setq temp-file local-file)) |
6002 | 382 |
11635
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
383 (setq temp-file (jka-compr-make-temp-name))) |
6002 | 384 |
385 (and | |
386 compress-message | |
387 (message "%s %s..." compress-message base-name)) | |
11635
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
388 |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
389 (jka-compr-run-real-handler 'write-region |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
390 (list start end temp-file t 'dont)) |
6002 | 391 |
392 (jka-compr-call-process compress-program | |
393 (concat compress-message | |
394 " " base-name) | |
395 temp-file | |
396 temp-buffer | |
397 nil | |
398 compress-args) | |
399 | |
400 (set-buffer temp-buffer) | |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
401 (jka-compr-run-real-handler 'write-region |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
402 (list (point-min) (point-max) |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
403 filename |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
404 (and append can-append) 'dont)) |
6002 | 405 (erase-buffer) |
406 (set-buffer cbuf) | |
407 | |
408 (jka-compr-delete-temp-file temp-file) | |
409 | |
410 (and | |
411 compress-message | |
412 (message "%s %s...done" compress-message base-name)) | |
413 | |
414 (cond | |
415 ((eq visit t) | |
416 (setq buffer-file-name filename) | |
417 (set-visited-file-modtime)) | |
418 ((stringp visit) | |
419 (setq buffer-file-name visit) | |
420 (let ((buffer-file-name filename)) | |
421 (set-visited-file-modtime)))) | |
422 | |
423 (and (or (eq visit t) | |
424 (eq visit nil) | |
425 (stringp visit)) | |
426 (message "Wrote %s" visit-file)) | |
427 | |
428 nil) | |
429 | |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
430 (jka-compr-run-real-handler 'write-region |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
431 (list start end filename append visit))))) |
6002 | 432 |
433 | |
6218
f4d5338c2142
(jka-compr-insert-file-contents): Handle 5th arg.
Richard M. Stallman <rms@gnu.org>
parents:
6041
diff
changeset
|
434 (defun jka-compr-insert-file-contents (file &optional visit beg end replace) |
6002 | 435 (barf-if-buffer-read-only) |
436 | |
437 (and (or beg end) | |
438 visit | |
439 (error "Attempt to visit less than an entire file")) | |
440 | |
441 (let* ((filename (expand-file-name file)) | |
442 (info (jka-compr-get-compression-info filename))) | |
443 | |
444 (if info | |
445 | |
446 (let ((uncompress-message (jka-compr-info-uncompress-message info)) | |
447 (uncompress-program (jka-compr-info-uncompress-program info)) | |
448 (uncompress-args (jka-compr-info-uncompress-args info)) | |
449 (base-name (file-name-nondirectory filename)) | |
450 (notfound nil) | |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
451 (local-copy |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
452 (jka-compr-run-real-handler 'file-local-copy (list filename))) |
6002 | 453 local-file |
454 size start) | |
455 | |
456 (setq local-file (or local-copy filename)) | |
457 | |
458 (and | |
459 visit | |
460 (setq buffer-file-name filename)) | |
461 | |
462 (unwind-protect ; to make sure local-copy gets deleted | |
463 | |
464 (progn | |
465 | |
466 (and | |
467 uncompress-message | |
468 (message "%s %s..." uncompress-message base-name)) | |
469 | |
470 (condition-case error-code | |
471 | |
472 (progn | |
8774
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
473 (if replace |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
474 (goto-char (point-min))) |
6002 | 475 (setq start (point)) |
476 (if (or beg end) | |
477 (jka-compr-partial-uncompress uncompress-program | |
478 (concat uncompress-message | |
479 " " base-name) | |
480 uncompress-args | |
481 local-file | |
482 (or beg 0) | |
483 (if (and beg end) | |
484 (- end beg) | |
485 end)) | |
11621
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
486 ;; If visiting, bind off buffer-file-name so that |
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
487 ;; file-locking will not ask whether we should |
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
488 ;; really edit the buffer. |
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
489 (let ((buffer-file-name |
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
490 (if visit nil buffer-file-name))) |
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
491 (jka-compr-call-process uncompress-program |
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
492 (concat uncompress-message |
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
493 " " base-name) |
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
494 local-file |
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
495 t |
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
496 nil |
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
497 uncompress-args))) |
6002 | 498 (setq size (- (point) start)) |
8774
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
499 (if replace |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
500 (let* ((del-beg (point)) |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
501 (del-end (+ del-beg size))) |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
502 (delete-region del-beg |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
503 (min del-end (point-max))))) |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
504 (goto-char start)) |
6002 | 505 (error |
506 (if (and (eq (car error-code) 'file-error) | |
507 (eq (nth 3 error-code) local-file)) | |
508 (if visit | |
509 (setq notfound error-code) | |
510 (signal 'file-error | |
511 (cons "Opening input file" | |
512 (nthcdr 2 error-code)))) | |
513 (signal (car error-code) (cdr error-code)))))) | |
514 | |
515 (and | |
516 local-copy | |
517 (file-exists-p local-copy) | |
518 (delete-file local-copy))) | |
519 | |
520 (and | |
521 visit | |
522 (progn | |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
523 (unlock-buffer) |
6002 | 524 (setq buffer-file-name filename) |
525 (set-visited-file-modtime))) | |
526 | |
527 (and | |
528 uncompress-message | |
529 (message "%s %s...done" uncompress-message base-name)) | |
530 | |
531 (and | |
532 visit | |
533 notfound | |
534 (signal 'file-error | |
535 (cons "Opening input file" (nth 2 notfound)))) | |
536 | |
8774
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
537 ;; Run the functions that insert-file-contents would. |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
538 (let ((p after-insert-file-functions) |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
539 (insval size)) |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
540 (while p |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
541 (setq insval (funcall (car p) size)) |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
542 (if insval |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
543 (progn |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
544 (or (integerp insval) |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
545 (signal 'wrong-type-argument |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
546 (list 'integerp insval))) |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
547 (setq size insval))) |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
548 (setq p (cdr p)))) |
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
549 |
6002 | 550 (list filename size)) |
551 | |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
552 (jka-compr-run-real-handler 'insert-file-contents |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
553 (list file visit beg end replace))))) |
6002 | 554 |
555 | |
556 (defun jka-compr-file-local-copy (file) | |
557 (let* ((filename (expand-file-name file)) | |
558 (info (jka-compr-get-compression-info filename))) | |
559 | |
560 (if info | |
561 | |
562 (let ((uncompress-message (jka-compr-info-uncompress-message info)) | |
563 (uncompress-program (jka-compr-info-uncompress-program info)) | |
564 (uncompress-args (jka-compr-info-uncompress-args info)) | |
565 (base-name (file-name-nondirectory filename)) | |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
566 (local-copy |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
567 (jka-compr-run-real-handler 'file-local-copy (list filename))) |
6002 | 568 (temp-file (jka-compr-make-temp-name t)) |
11635
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
569 (temp-buffer (get-buffer-create " *jka-compr-flc-temp*")) |
6002 | 570 (notfound nil) |
571 (cbuf (current-buffer)) | |
572 local-file) | |
573 | |
574 (setq local-file (or local-copy filename)) | |
575 | |
576 (unwind-protect | |
577 | |
578 (progn | |
579 | |
580 (and | |
581 uncompress-message | |
582 (message "%s %s..." uncompress-message base-name)) | |
583 | |
584 (set-buffer temp-buffer) | |
585 | |
586 (jka-compr-call-process uncompress-program | |
587 (concat uncompress-message | |
588 " " base-name) | |
589 local-file | |
590 t | |
591 nil | |
592 uncompress-args) | |
593 | |
594 (and | |
595 uncompress-message | |
596 (message "%s %s...done" uncompress-message base-name)) | |
597 | |
598 (write-region | |
599 (point-min) (point-max) temp-file nil 'dont)) | |
600 | |
601 (and | |
602 local-copy | |
603 (file-exists-p local-copy) | |
604 (delete-file local-copy)) | |
605 | |
606 (set-buffer cbuf) | |
607 (kill-buffer temp-buffer)) | |
608 | |
609 temp-file) | |
610 | |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
611 (jka-compr-run-real-handler 'file-local-copy (list filename))))) |
6002 | 612 |
613 | |
614 ;;; Support for loading compressed files. | |
615 (defun jka-compr-load (file &optional noerror nomessage nosuffix) | |
616 "Documented as original." | |
617 | |
618 (let* ((local-copy (jka-compr-file-local-copy file)) | |
619 (load-file (or local-copy file))) | |
620 | |
621 (unwind-protect | |
622 | |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
623 (let (inhibit-file-name-operation |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
624 inhibit-file-name-handlers) |
6002 | 625 (or nomessage |
626 (message "Loading %s..." file)) | |
627 | |
12758
a285eaa710ac
(jka-compr-load): Bind load-force-doc-strings.
Richard M. Stallman <rms@gnu.org>
parents:
11635
diff
changeset
|
628 (let ((load-force-doc-strings t)) |
a285eaa710ac
(jka-compr-load): Bind load-force-doc-strings.
Richard M. Stallman <rms@gnu.org>
parents:
11635
diff
changeset
|
629 (load load-file noerror t t)) |
6002 | 630 |
631 (or nomessage | |
632 (message "Loading %s...done." file))) | |
633 | |
634 (jka-compr-delete-temp-file local-copy)) | |
635 | |
636 t)) | |
12922
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
637 |
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
638 (defun jka-compr-byte-compiler-base-file-name (file) |
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
639 (let ((info (jka-compr-get-compression-info file))) |
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
640 (if (and info (jka-compr-info-strip-extension info)) |
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
641 (save-match-data |
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
642 (substring file 0 (string-match (jka-compr-info-regexp info) file))) |
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
643 file))) |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
644 |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
645 (put 'write-region 'jka-compr 'jka-compr-write-region) |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
646 (put 'insert-file-contents 'jka-compr 'jka-compr-insert-file-contents) |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
647 (put 'file-local-copy 'jka-compr 'jka-compr-file-local-copy) |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
648 (put 'load 'jka-compr 'jka-compr-load) |
12922
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
649 (put 'byte-compiler-base-file-name 'jka-compr |
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
650 'jka-compr-byte-compiler-base-file-name) |
6002 | 651 |
652 (defun jka-compr-handler (operation &rest args) | |
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
653 (save-match-data |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
654 (let ((jka-op (get operation 'jka-compr))) |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
655 (if jka-op |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
656 (apply jka-op args) |
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
657 (jka-compr-run-real-handler operation args))))) |
6002 | 658 |
7066 | 659 ;; If we are given an operation that we don't handle, |
660 ;; call the Emacs primitive for that operation, | |
661 ;; and manipulate the inhibit variables | |
662 ;; to prevent the primitive from calling our handler again. | |
663 (defun jka-compr-run-real-handler (operation args) | |
664 (let ((inhibit-file-name-handlers | |
665 (cons 'jka-compr-handler | |
666 (and (eq inhibit-file-name-operation operation) | |
667 inhibit-file-name-handlers))) | |
668 (inhibit-file-name-operation operation)) | |
669 (apply operation args))) | |
670 | |
13067
fef2a9095f0c
(auto-compression-mode): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents:
12922
diff
changeset
|
671 ;;;###autoload |
fef2a9095f0c
(auto-compression-mode): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents:
12922
diff
changeset
|
672 (defun auto-compression-mode (arg) |
fef2a9095f0c
(auto-compression-mode): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents:
12922
diff
changeset
|
673 "Toggle automatic file compression and uncompression. |
6002 | 674 With prefix argument ARG, turn auto compression on if positive, else off. |
675 Returns the new status of auto compression (non-nil means on)." | |
676 (interactive "P") | |
677 (let* ((installed (jka-compr-installed-p)) | |
678 (flag (if (null arg) | |
679 (not installed) | |
680 (or (eq arg t) (listp arg) (and (integerp arg) (> arg 0)))))) | |
681 | |
682 (cond | |
683 ((and flag installed) t) ; already installed | |
684 | |
685 ((and (not flag) (not installed)) nil) ; already not installed | |
686 | |
687 (flag | |
688 (jka-compr-install)) | |
689 | |
690 (t | |
691 (jka-compr-uninstall))) | |
692 | |
693 | |
694 (and (interactive-p) | |
695 (if flag | |
696 (message "Automatic file (de)compression is now ON.") | |
697 (message "Automatic file (de)compression is now OFF."))) | |
698 | |
699 flag)) | |
13067
fef2a9095f0c
(auto-compression-mode): Add autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents:
12922
diff
changeset
|
700 (defalias 'toggle-auto-compression 'auto-compression-mode) |
6002 | 701 |
702 (defun jka-compr-build-file-regexp () | |
703 (concat | |
704 "\\(" | |
705 (mapconcat | |
706 'jka-compr-info-regexp | |
707 jka-compr-compression-info-list | |
708 "\\)\\|\\(") | |
709 "\\)")) | |
710 | |
711 | |
712 (defun jka-compr-install () | |
713 "Install jka-compr. | |
11296
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
714 This adds entries to `file-name-handler-alist' and `auto-mode-alist' |
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
715 and `inhibit-first-line-modes-suffixes'." |
6002 | 716 |
717 (setq jka-compr-file-name-handler-entry | |
718 (cons (jka-compr-build-file-regexp) 'jka-compr-handler)) | |
719 | |
720 (setq file-name-handler-alist (cons jka-compr-file-name-handler-entry | |
721 file-name-handler-alist)) | |
722 | |
723 (mapcar | |
724 (function (lambda (x) | |
11179
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
725 (and (jka-compr-info-strip-extension x) |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
726 ;; Make entries in auto-mode-alist so that modes |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
727 ;; are chosen right according to the file names |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
728 ;; sans `.gz'. |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
729 (setq auto-mode-alist |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
730 (cons (list (jka-compr-info-regexp x) |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
731 nil 'jka-compr) |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
732 auto-mode-alist)) |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
733 ;; Also add these regexps to |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
734 ;; inhibit-first-line-modes-suffixes, so that a |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
735 ;; -*- line in the first file of a compressed tar |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
736 ;; file doesn't override tar-mode. |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
737 (setq inhibit-first-line-modes-suffixes |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
738 (cons (jka-compr-info-regexp x) |
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
739 inhibit-first-line-modes-suffixes))))) |
9493
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
740 jka-compr-compression-info-list) |
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
741 (setq auto-mode-alist |
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
742 (append auto-mode-alist jka-compr-mode-alist-additions))) |
6002 | 743 |
744 | |
745 (defun jka-compr-uninstall () | |
746 "Uninstall jka-compr. | |
7066 | 747 This removes the entries in `file-name-handler-alist' and `auto-mode-alist' |
11296
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
748 and `inhibit-first-line-modes-suffixes' that were added |
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
749 by `jka-compr-installed'." |
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
750 ;; Delete from inhibit-first-line-modes-suffixes |
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
751 ;; what jka-compr-install added. |
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
752 (mapcar |
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
753 (function (lambda (x) |
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
754 (and (jka-compr-info-strip-extension x) |
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
755 (setq inhibit-first-line-modes-suffixes |
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
756 (delete (jka-compr-info-regexp x) |
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
757 inhibit-first-line-modes-suffixes))))) |
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
758 jka-compr-compression-info-list) |
6002 | 759 |
760 (let* ((fnha (cons nil file-name-handler-alist)) | |
761 (last fnha)) | |
762 | |
763 (while (cdr last) | |
764 (if (eq (cdr (car (cdr last))) 'jka-compr-handler) | |
765 (setcdr last (cdr (cdr last))) | |
766 (setq last (cdr last)))) | |
767 | |
768 (setq file-name-handler-alist (cdr fnha))) | |
769 | |
770 (let* ((ama (cons nil auto-mode-alist)) | |
771 (last ama) | |
772 entry) | |
773 | |
774 (while (cdr last) | |
775 (setq entry (car (cdr last))) | |
9493
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
776 (if (or (member entry jka-compr-mode-alist-additions) |
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
777 (and (consp (cdr entry)) |
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
778 (eq (nth 2 entry) 'jka-compr))) |
6002 | 779 (setcdr last (cdr (cdr last))) |
780 (setq last (cdr last)))) | |
781 | |
782 (setq auto-mode-alist (cdr ama)))) | |
783 | |
784 | |
785 (defun jka-compr-installed-p () | |
786 "Return non-nil if jka-compr is installed. | |
7066 | 787 The return value is the entry in `file-name-handler-alist' for jka-compr." |
6002 | 788 |
789 (let ((fnha file-name-handler-alist) | |
790 (installed nil)) | |
791 | |
792 (while (and fnha (not installed)) | |
793 (and (eq (cdr (car fnha)) 'jka-compr-handler) | |
794 (setq installed (car fnha))) | |
795 (setq fnha (cdr fnha))) | |
796 | |
797 installed)) | |
798 | |
799 | |
800 ;;; Add the file I/O hook if it does not already exist. | |
801 ;;; Make sure that jka-compr-file-name-handler-entry is eq to the | |
802 ;;; entry for jka-compr in file-name-handler-alist. | |
803 (and (jka-compr-installed-p) | |
804 (jka-compr-uninstall)) | |
805 | |
806 (jka-compr-install) | |
807 | |
808 | |
809 (provide 'jka-compr) | |
810 | |
811 ;; jka-compr.el ends here. |