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