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