Mercurial > emacs
annotate lisp/jka-compr.el @ 28923:dcafe3c9cd6c
(sh-while-getopts) <sh>: Handle case that
user-specified option string is empty.
| author | Gerd Moellmann <gerd@gnu.org> |
|---|---|
| date | Mon, 15 May 2000 20:14:39 +0000 |
| parents | 10b2b22a5b89 |
| children | cc2e3eead63c |
| 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 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
129 ;; can-append auto-mode-flag strip-extension-flag file-magic-bytes] |
|
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") | |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
133 nil t "\037\235"] |
|
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") |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
140 nil t "BZh"] |
|
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") |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
144 t nil "\037\213"] |
|
28484
10b2b22a5b89
(jka-compr-compression-info-list): Add `.z'
Gerd Moellmann <gerd@gnu.org>
parents:
27512
diff
changeset
|
145 ["\\.g?z\\(~\\|\\.~[0-9]+~\\)?\\'" |
| 6002 | 146 "zipping" "gzip" ("-c" "-q") |
| 147 "unzipping" "gzip" ("-c" "-q" "-d") | |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
148 t t "\037\213"]) |
| 6002 | 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 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
154 APPEND-FLAG STRIP-EXTENSION-FLAG FILE-MAGIC-CHARS], 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 | |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
176 strip-extension-flag non-nil means strip the regexp from file names |
| 6002 | 177 before attempting to set the mode. |
| 178 | |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
179 file-magic-chars is a string of characters that you would find |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
180 at the beginning of a file compressed in this way. |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
181 |
|
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
182 Because of the way `call-process' is defined, discarding the stderr output of |
| 6002 | 183 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
|
184 invoked." |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
185 :type '(repeat (vector regexp |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
186 (choice :tag "Compress Message" |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
187 (string :format "%v") |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
188 (const :tag "No Message" nil)) |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
189 (string :tag "Compress Program") |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
190 (repeat :tag "Compress Arguments" string) |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
191 (choice :tag "Uncompress Message" |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
192 (string :format "%v") |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
193 (const :tag "No Message" nil)) |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
194 (string :tag "Uncompress Program") |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
195 (repeat :tag "Uncompress Arguments" string) |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
196 (boolean :tag "Append") |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
197 (boolean :tag "Auto Mode"))) |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
198 :group 'jka-compr) |
| 6002 | 199 |
|
9493
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
200 (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
|
201 (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
|
202 "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
|
203 |
|
f2ce7e947ec9
(jka-compr-added-to-file-coding-system-alist): New var.
Richard M. Stallman <rms@gnu.org>
parents:
18906
diff
changeset
|
204 ;; 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
|
205 (defvar jka-compr-added-to-file-coding-system-alist nil) |
| 6002 | 206 |
|
7617
edc853e14f7b
(jka-compr-op-table, jka-compr-file-name-handler-entry): Move defvars.
Richard M. Stallman <rms@gnu.org>
parents:
7616
diff
changeset
|
207 (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
|
208 nil |
|
edc853e14f7b
(jka-compr-op-table, jka-compr-file-name-handler-entry): Move defvars.
Richard M. Stallman <rms@gnu.org>
parents:
7616
diff
changeset
|
209 "The entry in `file-name-handler-alist' used by the jka-compr I/O functions.") |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
210 |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
211 (defvar jka-compr-really-do-compress nil |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
212 "Non-nil in a buffer whose visited file was uncompressed on visiting it.") |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
213 (put 'jka-compr-really-do-compress 'permanent-local t) |
|
7617
edc853e14f7b
(jka-compr-op-table, jka-compr-file-name-handler-entry): Move defvars.
Richard M. Stallman <rms@gnu.org>
parents:
7616
diff
changeset
|
214 |
| 15083 | 215 ;;; Functions for accessing the return value of jka-compr-get-compression-info |
| 6002 | 216 (defun jka-compr-info-regexp (info) (aref info 0)) |
| 217 (defun jka-compr-info-compress-message (info) (aref info 1)) | |
| 218 (defun jka-compr-info-compress-program (info) (aref info 2)) | |
| 219 (defun jka-compr-info-compress-args (info) (aref info 3)) | |
| 220 (defun jka-compr-info-uncompress-message (info) (aref info 4)) | |
| 221 (defun jka-compr-info-uncompress-program (info) (aref info 5)) | |
| 222 (defun jka-compr-info-uncompress-args (info) (aref info 6)) | |
| 223 (defun jka-compr-info-can-append (info) (aref info 7)) | |
| 224 (defun jka-compr-info-strip-extension (info) (aref info 8)) | |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
225 (defun jka-compr-info-file-magic-bytes (info) (aref info 9)) |
| 6002 | 226 |
| 227 | |
| 228 (defun jka-compr-get-compression-info (filename) | |
| 229 "Return information about the compression scheme of FILENAME. | |
| 230 The determination as to which compression scheme, if any, to use is | |
| 7066 | 231 based on the filename itself and `jka-compr-compression-info-list'." |
| 6002 | 232 (catch 'compression-info |
| 233 (let ((case-fold-search nil)) | |
| 234 (mapcar | |
| 235 (function (lambda (x) | |
| 236 (and (string-match (jka-compr-info-regexp x) filename) | |
| 237 (throw 'compression-info x)))) | |
| 238 jka-compr-compression-info-list) | |
| 239 nil))) | |
| 240 | |
| 241 | |
| 242 (put 'compression-error 'error-conditions '(compression-error file-error error)) | |
| 243 | |
| 244 | |
|
11635
b56f6afa16ec
(jka-compr-write-region): Handle the append
Richard M. Stallman <rms@gnu.org>
parents:
11621
diff
changeset
|
245 (defvar jka-compr-acceptable-retval-list '(0 2 141)) |
| 6002 | 246 |
| 247 | |
| 248 (defun jka-compr-error (prog args infile message &optional errfile) | |
| 249 | |
| 250 (let ((errbuf (get-buffer-create " *jka-compr-error*")) | |
| 251 (curbuf (current-buffer))) | |
|
16940
6d680b18a47b
(jka-compr-error): Use with-current-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16630
diff
changeset
|
252 (with-current-buffer errbuf |
|
6d680b18a47b
(jka-compr-error): Use with-current-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16630
diff
changeset
|
253 (widen) (erase-buffer) |
|
6d680b18a47b
(jka-compr-error): Use with-current-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16630
diff
changeset
|
254 (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
|
255 prog |
|
6d680b18a47b
(jka-compr-error): Use with-current-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16630
diff
changeset
|
256 (mapconcat 'identity args " ") |
|
6d680b18a47b
(jka-compr-error): Use with-current-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16630
diff
changeset
|
257 infile)) |
| 6002 | 258 |
|
16940
6d680b18a47b
(jka-compr-error): Use with-current-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16630
diff
changeset
|
259 (and errfile |
|
6d680b18a47b
(jka-compr-error): Use with-current-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16630
diff
changeset
|
260 (insert-file-contents errfile))) |
| 6002 | 261 (display-buffer errbuf)) |
| 262 | |
|
16940
6d680b18a47b
(jka-compr-error): Use with-current-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16630
diff
changeset
|
263 (signal 'compression-error |
|
6d680b18a47b
(jka-compr-error): Use with-current-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16630
diff
changeset
|
264 (list "Opening input file" (format "error %s" message) infile))) |
| 6002 | 265 |
| 266 | |
| 267 (defvar jka-compr-dd-program | |
| 268 "/bin/dd") | |
| 269 | |
| 270 | |
|
6041
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
271 (defvar jka-compr-dd-blocksize 256) |
| 6002 | 272 |
| 273 | |
| 274 (defun jka-compr-partial-uncompress (prog message args infile beg len) | |
| 275 "Call program PROG with ARGS args taking input from INFILE. | |
| 276 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
|
277 to keep: LEN chars starting BEG chars from the beginning." |
| 6002 | 278 (let* ((skip (/ beg jka-compr-dd-blocksize)) |
| 279 (prefix (- beg (* skip jka-compr-dd-blocksize))) | |
| 280 (count (and len (1+ (/ (+ len prefix) jka-compr-dd-blocksize)))) | |
| 281 (start (point)) | |
| 282 (err-file (jka-compr-make-temp-name)) | |
| 283 (run-string (format "%s %s 2> %s | %s bs=%d skip=%d %s 2> /dev/null" | |
| 284 prog | |
| 285 (mapconcat 'identity args " ") | |
| 286 err-file | |
| 287 jka-compr-dd-program | |
| 288 jka-compr-dd-blocksize | |
| 289 skip | |
|
6041
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
290 ;; 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
|
291 ;; 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
|
292 ;; 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
|
293 (if count (concat "count=" (1+ count)) "")))) |
| 6002 | 294 |
| 295 (unwind-protect | |
| 296 (or (memq (call-process jka-compr-shell | |
| 297 infile t nil "-c" | |
| 298 run-string) | |
| 299 jka-compr-acceptable-retval-list) | |
| 300 | |
| 301 (jka-compr-error prog args infile message err-file)) | |
| 302 | |
| 303 (jka-compr-delete-temp-file err-file)) | |
| 304 | |
|
8065
31eb7a0e2763
(jka-compr-partial-uncompress): Handle the case where
Richard M. Stallman <rms@gnu.org>
parents:
7976
diff
changeset
|
305 ;; Delete the stuff after what we want, if there is any. |
| 6002 | 306 (and |
|
6041
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
307 len |
|
8065
31eb7a0e2763
(jka-compr-partial-uncompress): Handle the case where
Richard M. Stallman <rms@gnu.org>
parents:
7976
diff
changeset
|
308 (< (+ start prefix len) (point)) |
|
6041
649926e9c1a8
(jka-compr-partial-uncompress): Make dd give you
Richard M. Stallman <rms@gnu.org>
parents:
6002
diff
changeset
|
309 (delete-region (+ start prefix len) (point))) |
| 6002 | 310 |
|
8065
31eb7a0e2763
(jka-compr-partial-uncompress): Handle the case where
Richard M. Stallman <rms@gnu.org>
parents:
7976
diff
changeset
|
311 ;; Delete the stuff before what we want. |
| 6002 | 312 (delete-region start (+ start prefix)))) |
| 313 | |
| 314 | |
| 315 (defun jka-compr-call-process (prog message infile output temp args) | |
| 316 (if jka-compr-use-shell | |
| 317 | |
|
18879
8b226efb9a8b
(jka-compr-insert-file-contents): Bind coding-system-for-read.
Richard M. Stallman <rms@gnu.org>
parents:
17976
diff
changeset
|
318 (let ((err-file (jka-compr-make-temp-name)) |
| 18906 | 319 (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
|
320 (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
|
321 |
| 6002 | 322 (unwind-protect |
| 323 | |
| 324 (or (memq | |
| 325 (call-process jka-compr-shell infile | |
| 326 (if (stringp output) nil output) | |
| 327 nil | |
| 328 "-c" | |
| 329 (format "%s %s 2> %s %s" | |
| 330 prog | |
| 331 (mapconcat 'identity args " ") | |
| 332 err-file | |
| 333 (if (stringp output) | |
| 334 (concat "> " output) | |
| 335 ""))) | |
| 336 jka-compr-acceptable-retval-list) | |
| 337 | |
| 338 (jka-compr-error prog args infile message err-file)) | |
| 339 | |
| 340 (jka-compr-delete-temp-file err-file))) | |
| 341 | |
| 342 (or (zerop | |
| 343 (apply 'call-process | |
| 344 prog | |
| 345 infile | |
| 346 (if (stringp output) temp output) | |
| 347 nil | |
| 348 args)) | |
| 349 (jka-compr-error prog args infile message)) | |
| 350 | |
| 351 (and (stringp output) | |
|
16940
6d680b18a47b
(jka-compr-error): Use with-current-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16630
diff
changeset
|
352 (with-current-buffer temp |
| 6002 | 353 (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
|
354 (erase-buffer))))) |
| 6002 | 355 |
| 356 | |
| 357 ;;; Support for temp files. Much of this was inspired if not lifted | |
| 358 ;;; from ange-ftp. | |
| 359 | |
|
17411
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
360 (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
|
361 (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
|
362 "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
|
363 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
|
364 :type 'string |
|
f0ff96a35eb8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16940
diff
changeset
|
365 :group 'jka-compr) |
| 6002 | 366 |
| 367 (defun jka-compr-make-temp-name (&optional local-copy) | |
| 368 "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
|
369 (make-temp-file jka-compr-temp-name-template)) |
| 6002 | 370 |
|
26039
fb6b9c37cdc4
Use make-temp-file.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
25285
diff
changeset
|
371 (defalias 'jka-compr-delete-temp-file 'delete-file) |
| 6002 | 372 |
| 373 | |
| 374 (defun jka-compr-write-region (start end file &optional append visit) | |
| 375 (let* ((filename (expand-file-name file)) | |
| 376 (visit-file (if (stringp visit) (expand-file-name visit) filename)) | |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
377 (info (jka-compr-get-compression-info visit-file)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
378 (magic (and info (jka-compr-info-file-magic-bytes info)))) |
| 6002 | 379 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
380 ;; If we uncompressed this file when visiting it, |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
381 ;; then recompress it when writing it |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
382 ;; even if the contents look compressed already. |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
383 (if (and jka-compr-really-do-compress |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
384 (eq start 1) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
385 (eq end (1+ (buffer-size)))) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
386 (setq magic nil)) |
| 6002 | 387 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
388 (if (and info |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
389 ;; If the contents to be written out |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
390 ;; are properly compressed already, |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
391 ;; don't try to compress them over again. |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
392 (not (and magic |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
393 (equal (if (stringp start) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
394 (substring start 0 (min (length start) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
395 (length magic))) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
396 (buffer-substring start |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
397 (min end |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
398 (+ start (length magic))))) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
399 magic)))) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
400 (let ((can-append (jka-compr-info-can-append info)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
401 (compress-program (jka-compr-info-compress-program info)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
402 (compress-message (jka-compr-info-compress-message info)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
403 (uncompress-program (jka-compr-info-uncompress-program info)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
404 (uncompress-message (jka-compr-info-uncompress-message info)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
405 (compress-args (jka-compr-info-compress-args info)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
406 (uncompress-args (jka-compr-info-uncompress-args info)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
407 (base-name (file-name-nondirectory visit-file)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
408 temp-file temp-buffer |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
409 ;; we need to leave `last-coding-system-used' set to its |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
410 ;; value after calling write-region the first time, so |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
411 ;; that `basic-save-buffer' sees the right value. |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
412 (coding-system-used last-coding-system-used)) |
| 6002 | 413 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
414 (setq temp-buffer (get-buffer-create " *jka-compr-wr-temp*")) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
415 (with-current-buffer temp-buffer |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
416 (widen) (erase-buffer)) |
| 6002 | 417 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
418 (if (and append |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
419 (not can-append) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
420 (file-exists-p filename)) |
| 6002 | 421 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
422 (let* ((local-copy (file-local-copy filename)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
423 (local-file (or local-copy filename))) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
424 |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
425 (setq temp-file local-file)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
426 |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
427 (setq temp-file (jka-compr-make-temp-name))) |
| 6002 | 428 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
429 (and |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
430 compress-message |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
431 (message "%s %s..." compress-message base-name)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
432 |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
433 (jka-compr-run-real-handler 'write-region |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
434 (list start end temp-file t 'dont)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
435 ;; save value used by the real write-region |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
436 (setq coding-system-used last-coding-system-used) |
| 6002 | 437 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
438 ;; Here we must read the output of compress program as is |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
439 ;; without any code conversion. |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
440 (let ((coding-system-for-read 'no-conversion)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
441 (jka-compr-call-process compress-program |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
442 (concat compress-message |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
443 " " base-name) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
444 temp-file |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
445 temp-buffer |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
446 nil |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
447 compress-args)) |
| 6002 | 448 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
449 (with-current-buffer temp-buffer |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
450 (let ((coding-system-for-write 'no-conversion)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
451 (if (memq system-type '(ms-dos windows-nt)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
452 (setq buffer-file-type t) ) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
453 (jka-compr-run-real-handler 'write-region |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
454 (list (point-min) (point-max) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
455 filename |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
456 (and append can-append) 'dont)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
457 (erase-buffer)) ) |
| 6002 | 458 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
459 (jka-compr-delete-temp-file temp-file) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
460 |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
461 (and |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
462 compress-message |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
463 (message "%s %s...done" compress-message base-name)) |
| 6002 | 464 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
465 (cond |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
466 ((eq visit t) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
467 (setq buffer-file-name filename) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
468 (setq jka-compr-really-do-compress t) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
469 (set-visited-file-modtime)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
470 ((stringp visit) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
471 (setq buffer-file-name visit) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
472 (let ((buffer-file-name filename)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
473 (set-visited-file-modtime)))) |
| 6002 | 474 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
475 (and (or (eq visit t) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
476 (eq visit nil) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
477 (stringp visit)) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
478 (message "Wrote %s" visit-file)) |
|
22360
09dbe38a603f
(jka-compr-write-region): Ensure
Karl Heuer <kwzh@gnu.org>
parents:
22194
diff
changeset
|
479 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
480 ;; ensure `last-coding-system-used' has an appropriate value |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
481 (setq last-coding-system-used coding-system-used) |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
482 |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
483 nil) |
| 6002 | 484 |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
485 (jka-compr-run-real-handler 'write-region |
|
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
486 (list start end filename append visit))))) |
| 6002 | 487 |
| 488 | |
|
6218
f4d5338c2142
(jka-compr-insert-file-contents): Handle 5th arg.
Richard M. Stallman <rms@gnu.org>
parents:
6041
diff
changeset
|
489 (defun jka-compr-insert-file-contents (file &optional visit beg end replace) |
| 6002 | 490 (barf-if-buffer-read-only) |
| 491 | |
| 492 (and (or beg end) | |
| 493 visit | |
| 494 (error "Attempt to visit less than an entire file")) | |
| 495 | |
| 496 (let* ((filename (expand-file-name file)) | |
| 497 (info (jka-compr-get-compression-info filename))) | |
| 498 | |
| 499 (if info | |
| 500 | |
| 501 (let ((uncompress-message (jka-compr-info-uncompress-message info)) | |
| 502 (uncompress-program (jka-compr-info-uncompress-program info)) | |
| 503 (uncompress-args (jka-compr-info-uncompress-args info)) | |
| 504 (base-name (file-name-nondirectory filename)) | |
| 505 (notfound nil) | |
|
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
506 (local-copy |
|
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
507 (jka-compr-run-real-handler 'file-local-copy (list filename))) |
| 6002 | 508 local-file |
|
18879
8b226efb9a8b
(jka-compr-insert-file-contents): Bind coding-system-for-read.
Richard M. Stallman <rms@gnu.org>
parents:
17976
diff
changeset
|
509 size start |
|
19004
f2ce7e947ec9
(jka-compr-added-to-file-coding-system-alist): New var.
Richard M. Stallman <rms@gnu.org>
parents:
18906
diff
changeset
|
510 (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
|
511 (or coding-system-for-read |
|
20497
0d0951bf17fa
(jka-compr-insert-file-contents):
Richard M. Stallman <rms@gnu.org>
parents:
20132
diff
changeset
|
512 ;; If multibyte characters are disabled, |
|
0d0951bf17fa
(jka-compr-insert-file-contents):
Richard M. Stallman <rms@gnu.org>
parents:
20132
diff
changeset
|
513 ;; don't do that conversion. |
|
0d0951bf17fa
(jka-compr-insert-file-contents):
Richard M. Stallman <rms@gnu.org>
parents:
20132
diff
changeset
|
514 (and (null enable-multibyte-characters) |
|
24601
c22ae7f6afd9
(jka-compr-insert-file-contents):
Richard M. Stallman <rms@gnu.org>
parents:
24569
diff
changeset
|
515 (or (auto-coding-alist-lookup |
|
24614
ea0ab5644dca
(jka-compr-insert-file-contents): Fix previous
Dave Love <fx@gnu.org>
parents:
24601
diff
changeset
|
516 (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
|
517 'raw-text)) |
|
22746
516b9dfa5d34
(jka-compr-insert-file-contents): Replace incorrect
Richard M. Stallman <rms@gnu.org>
parents:
22484
diff
changeset
|
518 (let ((coding (find-operation-coding-system |
|
516b9dfa5d34
(jka-compr-insert-file-contents): Replace incorrect
Richard M. Stallman <rms@gnu.org>
parents:
22484
diff
changeset
|
519 'insert-file-contents |
|
516b9dfa5d34
(jka-compr-insert-file-contents): Replace incorrect
Richard M. Stallman <rms@gnu.org>
parents:
22484
diff
changeset
|
520 (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
|
521 (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
|
522 'undecided)) ) |
| 6002 | 523 |
| 524 (setq local-file (or local-copy filename)) | |
| 525 | |
| 526 (and | |
| 527 visit | |
| 528 (setq buffer-file-name filename)) | |
| 529 | |
| 530 (unwind-protect ; to make sure local-copy gets deleted | |
| 531 | |
| 532 (progn | |
| 533 | |
| 534 (and | |
| 535 uncompress-message | |
| 536 (message "%s %s..." uncompress-message base-name)) | |
| 537 | |
| 538 (condition-case error-code | |
| 539 | |
| 540 (progn | |
|
8774
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
541 (if replace |
|
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
542 (goto-char (point-min))) |
| 6002 | 543 (setq start (point)) |
| 544 (if (or beg end) | |
| 545 (jka-compr-partial-uncompress uncompress-program | |
| 546 (concat uncompress-message | |
| 547 " " base-name) | |
| 548 uncompress-args | |
| 549 local-file | |
| 550 (or beg 0) | |
| 551 (if (and beg end) | |
| 552 (- end beg) | |
| 553 end)) | |
|
11621
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
554 ;; 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
|
555 ;; 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
|
556 ;; really edit the buffer. |
|
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
557 (let ((buffer-file-name |
|
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
558 (if visit nil buffer-file-name))) |
|
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
559 (jka-compr-call-process uncompress-program |
|
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
560 (concat uncompress-message |
|
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
561 " " base-name) |
|
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
562 local-file |
|
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
563 t |
|
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
564 nil |
|
710b5ce824c2
(jka-compr-insert-file-contents): When visiting,
Richard M. Stallman <rms@gnu.org>
parents:
11296
diff
changeset
|
565 uncompress-args))) |
| 6002 | 566 (setq size (- (point) start)) |
|
8774
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
567 (if replace |
|
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
568 (let* ((del-beg (point)) |
|
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
569 (del-end (+ del-beg size))) |
|
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
570 (delete-region del-beg |
|
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
571 (min del-end (point-max))))) |
|
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
572 (goto-char start)) |
| 6002 | 573 (error |
| 574 (if (and (eq (car error-code) 'file-error) | |
| 575 (eq (nth 3 error-code) local-file)) | |
| 576 (if visit | |
| 577 (setq notfound error-code) | |
| 578 (signal 'file-error | |
| 579 (cons "Opening input file" | |
| 580 (nthcdr 2 error-code)))) | |
| 581 (signal (car error-code) (cdr error-code)))))) | |
| 582 | |
| 583 (and | |
| 584 local-copy | |
| 585 (file-exists-p local-copy) | |
| 586 (delete-file local-copy))) | |
| 587 | |
| 588 (and | |
| 589 visit | |
| 590 (progn | |
|
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
591 (unlock-buffer) |
| 6002 | 592 (setq buffer-file-name filename) |
|
26987
af30e0897839
(jka-compr-info-file-magic-bytes): New function.
Richard M. Stallman <rms@gnu.org>
parents:
26039
diff
changeset
|
593 (setq jka-compr-really-do-compress t) |
| 6002 | 594 (set-visited-file-modtime))) |
| 595 | |
| 596 (and | |
| 597 uncompress-message | |
| 598 (message "%s %s...done" uncompress-message base-name)) | |
| 599 | |
| 600 (and | |
| 601 visit | |
| 602 notfound | |
| 603 (signal 'file-error | |
| 604 (cons "Opening input file" (nth 2 notfound)))) | |
| 605 | |
|
22484
661650f543ee
(jka-compr-insert-file-contents): Don't run
Richard M. Stallman <rms@gnu.org>
parents:
22360
diff
changeset
|
606 ;; 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
|
607 ;; 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
|
608 ;; than to change it now. |
|
661650f543ee
(jka-compr-insert-file-contents): Don't run
Richard M. Stallman <rms@gnu.org>
parents:
22360
diff
changeset
|
609 |
|
661650f543ee
(jka-compr-insert-file-contents): Don't run
Richard M. Stallman <rms@gnu.org>
parents:
22360
diff
changeset
|
610 ;;; ;; 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
|
611 ;;; (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
|
612 ;;; (insval size)) |
|
661650f543ee
(jka-compr-insert-file-contents): Don't run
Richard M. Stallman <rms@gnu.org>
parents:
22360
diff
changeset
|
613 ;;; (while p |
|
661650f543ee
(jka-compr-insert-file-contents): Don't run
Richard M. Stallman <rms@gnu.org>
parents:
22360
diff
changeset
|
614 ;;; (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
|
615 ;;; (if insval |
|
661650f543ee
(jka-compr-insert-file-contents): Don't run
Richard M. Stallman <rms@gnu.org>
parents:
22360
diff
changeset
|
616 ;;; (progn |
|
661650f543ee
(jka-compr-insert-file-contents): Don't run
Richard M. Stallman <rms@gnu.org>
parents:
22360
diff
changeset
|
617 ;;; (or (integerp insval) |
|
661650f543ee
(jka-compr-insert-file-contents): Don't run
Richard M. Stallman <rms@gnu.org>
parents:
22360
diff
changeset
|
618 ;;; (signal 'wrong-type-argument |
|
661650f543ee
(jka-compr-insert-file-contents): Don't run
Richard M. Stallman <rms@gnu.org>
parents:
22360
diff
changeset
|
619 ;;; (list 'integerp insval))) |
|
661650f543ee
(jka-compr-insert-file-contents): Don't run
Richard M. Stallman <rms@gnu.org>
parents:
22360
diff
changeset
|
620 ;;; (setq size insval))) |
|
661650f543ee
(jka-compr-insert-file-contents): Don't run
Richard M. Stallman <rms@gnu.org>
parents:
22360
diff
changeset
|
621 ;;; (setq p (cdr p)))) |
|
8774
ade4b542a74c
(jka-compr-compression-info-list): Expand regular
Richard M. Stallman <rms@gnu.org>
parents:
8593
diff
changeset
|
622 |
| 6002 | 623 (list filename size)) |
| 624 | |
|
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
625 (jka-compr-run-real-handler 'insert-file-contents |
|
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
626 (list file visit beg end replace))))) |
| 6002 | 627 |
| 628 | |
| 629 (defun jka-compr-file-local-copy (file) | |
| 630 (let* ((filename (expand-file-name file)) | |
| 631 (info (jka-compr-get-compression-info filename))) | |
| 632 | |
| 633 (if info | |
| 634 | |
| 635 (let ((uncompress-message (jka-compr-info-uncompress-message info)) | |
| 636 (uncompress-program (jka-compr-info-uncompress-program info)) | |
| 637 (uncompress-args (jka-compr-info-uncompress-args info)) | |
| 638 (base-name (file-name-nondirectory filename)) | |
|
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
639 (local-copy |
|
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
640 (jka-compr-run-real-handler 'file-local-copy (list filename))) |
| 6002 | 641 (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
|
642 (temp-buffer (get-buffer-create " *jka-compr-flc-temp*")) |
| 6002 | 643 (notfound nil) |
| 644 local-file) | |
| 645 | |
| 646 (setq local-file (or local-copy filename)) | |
| 647 | |
| 648 (unwind-protect | |
| 649 | |
|
16940
6d680b18a47b
(jka-compr-error): Use with-current-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16630
diff
changeset
|
650 (with-current-buffer temp-buffer |
| 6002 | 651 |
| 652 (and | |
| 653 uncompress-message | |
| 654 (message "%s %s..." uncompress-message base-name)) | |
| 655 | |
| 18906 | 656 ;; Here we must read the output of uncompress program |
| 657 ;; and write it to TEMP-FILE without any code | |
| 658 ;; conversion. An appropriate code conversion (if | |
| 659 ;; necessary) is done by the later I/O operation | |
| 660 ;; (e.g. load). | |
| 661 (let ((coding-system-for-read 'no-conversion) | |
| 662 (coding-system-for-write 'no-conversion)) | |
| 6002 | 663 |
| 18906 | 664 (jka-compr-call-process uncompress-program |
| 665 (concat uncompress-message | |
| 666 " " base-name) | |
| 667 local-file | |
| 668 t | |
| 669 nil | |
| 670 uncompress-args) | |
| 6002 | 671 |
| 18906 | 672 (and |
| 673 uncompress-message | |
| 674 (message "%s %s...done" uncompress-message base-name)) | |
| 675 | |
| 676 (write-region | |
| 677 (point-min) (point-max) temp-file nil 'dont))) | |
| 6002 | 678 |
| 679 (and | |
| 680 local-copy | |
| 681 (file-exists-p local-copy) | |
| 682 (delete-file local-copy)) | |
| 683 | |
| 684 (kill-buffer temp-buffer)) | |
| 685 | |
| 686 temp-file) | |
| 687 | |
|
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
688 (jka-compr-run-real-handler 'file-local-copy (list filename))))) |
| 6002 | 689 |
| 690 | |
| 691 ;;; Support for loading compressed files. | |
| 692 (defun jka-compr-load (file &optional noerror nomessage nosuffix) | |
| 693 "Documented as original." | |
| 694 | |
| 695 (let* ((local-copy (jka-compr-file-local-copy file)) | |
| 696 (load-file (or local-copy file))) | |
| 697 | |
| 698 (unwind-protect | |
| 699 | |
|
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
700 (let (inhibit-file-name-operation |
|
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
701 inhibit-file-name-handlers) |
| 6002 | 702 (or nomessage |
| 703 (message "Loading %s..." file)) | |
| 704 | |
|
12758
a285eaa710ac
(jka-compr-load): Bind load-force-doc-strings.
Richard M. Stallman <rms@gnu.org>
parents:
11635
diff
changeset
|
705 (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
|
706 (load load-file noerror t t)) |
| 6002 | 707 (or nomessage |
|
27512
b7020186895e
(jka-compr-load): Fix up load-history.
Dave Love <fx@gnu.org>
parents:
26987
diff
changeset
|
708 (message "Loading %s...done." file)) |
|
b7020186895e
(jka-compr-load): Fix up load-history.
Dave Love <fx@gnu.org>
parents:
26987
diff
changeset
|
709 ;; Fix up the load history to point at the right library. |
|
b7020186895e
(jka-compr-load): Fix up load-history.
Dave Love <fx@gnu.org>
parents:
26987
diff
changeset
|
710 (let ((l (assoc load-file load-history))) |
|
b7020186895e
(jka-compr-load): Fix up load-history.
Dave Love <fx@gnu.org>
parents:
26987
diff
changeset
|
711 ;; Remove .gz and .elc?. |
|
b7020186895e
(jka-compr-load): Fix up load-history.
Dave Love <fx@gnu.org>
parents:
26987
diff
changeset
|
712 (while (file-name-extension file) |
|
b7020186895e
(jka-compr-load): Fix up load-history.
Dave Love <fx@gnu.org>
parents:
26987
diff
changeset
|
713 (setq file (file-name-sans-extension file))) |
|
b7020186895e
(jka-compr-load): Fix up load-history.
Dave Love <fx@gnu.org>
parents:
26987
diff
changeset
|
714 (setcar l file))) |
| 6002 | 715 |
| 716 (jka-compr-delete-temp-file local-copy)) | |
| 717 | |
| 718 t)) | |
|
12922
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
719 |
|
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
720 (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
|
721 (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
|
722 (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
|
723 (save-match-data |
|
e171a85fd6b0
(jka-compr-byte-compiler-base-file-name): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12758
diff
changeset
|
724 (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
|
725 file))) |
|
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
726 |
|
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
727 (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
|
728 (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
|
729 (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
|
730 (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
|
731 (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
|
732 'jka-compr-byte-compiler-base-file-name) |
| 6002 | 733 |
|
20132
b691f68b0757
(jka-compr-inhibit): New variable.
Karl Heuer <kwzh@gnu.org>
parents:
19004
diff
changeset
|
734 (defvar jka-compr-inhibit nil |
|
b691f68b0757
(jka-compr-inhibit): New variable.
Karl Heuer <kwzh@gnu.org>
parents:
19004
diff
changeset
|
735 "Non-nil means inhibit automatic uncompression temporarily. |
|
b691f68b0757
(jka-compr-inhibit): New variable.
Karl Heuer <kwzh@gnu.org>
parents:
19004
diff
changeset
|
736 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
|
737 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
|
738 |
| 6002 | 739 (defun jka-compr-handler (operation &rest args) |
|
7976
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
740 (save-match-data |
|
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
741 (let ((jka-op (get operation 'jka-compr))) |
|
20132
b691f68b0757
(jka-compr-inhibit): New variable.
Karl Heuer <kwzh@gnu.org>
parents:
19004
diff
changeset
|
742 (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
|
743 (apply jka-op args) |
|
b72b84744a85
Use plists to record handlers.
Richard M. Stallman <rms@gnu.org>
parents:
7617
diff
changeset
|
744 (jka-compr-run-real-handler operation args))))) |
| 6002 | 745 |
| 7066 | 746 ;; If we are given an operation that we don't handle, |
| 747 ;; call the Emacs primitive for that operation, | |
| 748 ;; and manipulate the inhibit variables | |
| 749 ;; to prevent the primitive from calling our handler again. | |
| 750 (defun jka-compr-run-real-handler (operation args) | |
| 751 (let ((inhibit-file-name-handlers | |
| 752 (cons 'jka-compr-handler | |
| 753 (and (eq inhibit-file-name-operation operation) | |
| 754 inhibit-file-name-handlers))) | |
| 755 (inhibit-file-name-operation operation)) | |
| 756 (apply operation args))) | |
| 757 | |
|
25284
0829d4d02982
(auto-compression-mode): New variable for customization.
Dave Love <fx@gnu.org>
parents:
24614
diff
changeset
|
758 ;;;###autoload |
|
0829d4d02982
(auto-compression-mode): New variable for customization.
Dave Love <fx@gnu.org>
parents:
24614
diff
changeset
|
759 (defcustom auto-compression-mode nil |
|
0829d4d02982
(auto-compression-mode): New variable for customization.
Dave Love <fx@gnu.org>
parents:
24614
diff
changeset
|
760 "Toggle automatic file compression and uncompression. |
|
0829d4d02982
(auto-compression-mode): New variable for customization.
Dave Love <fx@gnu.org>
parents:
24614
diff
changeset
|
761 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
|
762 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
|
763 :set (lambda (symbol value) |
|
0829d4d02982
(auto-compression-mode): New variable for customization.
Dave Love <fx@gnu.org>
parents:
24614
diff
changeset
|
764 (auto-compression-mode (or value 0))) |
|
0829d4d02982
(auto-compression-mode): New variable for customization.
Dave Love <fx@gnu.org>
parents:
24614
diff
changeset
|
765 :initialize 'custom-initialize-default |
|
0829d4d02982
(auto-compression-mode): New variable for customization.
Dave Love <fx@gnu.org>
parents:
24614
diff
changeset
|
766 :group 'jka-compr |
|
0829d4d02982
(auto-compression-mode): New variable for customization.
Dave Love <fx@gnu.org>
parents:
24614
diff
changeset
|
767 :version "21.1" |
|
0829d4d02982
(auto-compression-mode): New variable for customization.
Dave Love <fx@gnu.org>
parents:
24614
diff
changeset
|
768 :type 'boolean |
|
0829d4d02982
(auto-compression-mode): New variable for customization.
Dave Love <fx@gnu.org>
parents:
24614
diff
changeset
|
769 :require 'jka-compr) |
|
0829d4d02982
(auto-compression-mode): New variable for customization.
Dave Love <fx@gnu.org>
parents:
24614
diff
changeset
|
770 |
|
13887
4362f8b4f83c
(auto-compression-mode): This is now a stub function
Richard M. Stallman <rms@gnu.org>
parents:
13514
diff
changeset
|
771 ;;;###autoload(defun auto-compression-mode (&optional arg) |
|
13900
37c5ece37d71
(auto-compression-mode): Add `interactive'.
Richard M. Stallman <rms@gnu.org>
parents:
13887
diff
changeset
|
772 ;;;###autoload "\ |
|
37c5ece37d71
(auto-compression-mode): Add `interactive'.
Richard M. Stallman <rms@gnu.org>
parents:
13887
diff
changeset
|
773 ;;;###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
|
774 ;;;###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
|
775 ;;;###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
|
776 ;;;###autoload (interactive "P") |
|
13887
4362f8b4f83c
(auto-compression-mode): This is now a stub function
Richard M. Stallman <rms@gnu.org>
parents:
13514
diff
changeset
|
777 ;;;###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
|
778 ;;;###autoload (progn |
|
4362f8b4f83c
(auto-compression-mode): This is now a stub function
Richard M. Stallman <rms@gnu.org>
parents:
13514
diff
changeset
|
779 ;;;###autoload (require 'jka-compr) |
|
4362f8b4f83c
(auto-compression-mode): This is now a stub function
Richard M. Stallman <rms@gnu.org>
parents:
13514
diff
changeset
|
780 ;;;###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
|
781 ;;;###autoload (toggle-auto-compression))) |
|
13900
37c5ece37d71
(auto-compression-mode): Add `interactive'.
Richard M. Stallman <rms@gnu.org>
parents:
13887
diff
changeset
|
782 ;;;###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
|
783 |
|
13900
37c5ece37d71
(auto-compression-mode): Add `interactive'.
Richard M. Stallman <rms@gnu.org>
parents:
13887
diff
changeset
|
784 (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
|
785 "Toggle automatic file compression and uncompression. |
| 6002 | 786 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
|
787 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
|
788 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
|
789 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
|
790 (interactive "P\np") |
| 6002 | 791 (let* ((installed (jka-compr-installed-p)) |
| 792 (flag (if (null arg) | |
| 793 (not installed) | |
| 794 (or (eq arg t) (listp arg) (and (integerp arg) (> arg 0)))))) | |
| 795 | |
| 796 (cond | |
| 797 ((and flag installed) t) ; already installed | |
| 798 | |
| 799 ((and (not flag) (not installed)) nil) ; already not installed | |
| 800 | |
| 801 (flag | |
| 802 (jka-compr-install)) | |
| 803 | |
| 804 (t | |
| 805 (jka-compr-uninstall))) | |
| 806 | |
| 807 | |
|
13900
37c5ece37d71
(auto-compression-mode): Add `interactive'.
Richard M. Stallman <rms@gnu.org>
parents:
13887
diff
changeset
|
808 (and message |
| 6002 | 809 (if flag |
| 810 (message "Automatic file (de)compression is now ON.") | |
| 811 (message "Automatic file (de)compression is now OFF."))) | |
| 812 | |
| 813 flag)) | |
| 814 | |
| 815 (defun jka-compr-build-file-regexp () | |
| 816 (concat | |
| 817 "\\(" | |
| 818 (mapconcat | |
| 819 'jka-compr-info-regexp | |
| 820 jka-compr-compression-info-list | |
| 821 "\\)\\|\\(") | |
| 822 "\\)")) | |
| 823 | |
| 824 | |
| 825 (defun jka-compr-install () | |
| 826 "Install jka-compr. | |
|
11296
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
827 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
|
828 and `inhibit-first-line-modes-suffixes'." |
| 6002 | 829 |
| 830 (setq jka-compr-file-name-handler-entry | |
| 831 (cons (jka-compr-build-file-regexp) 'jka-compr-handler)) | |
| 832 | |
| 833 (setq file-name-handler-alist (cons jka-compr-file-name-handler-entry | |
| 834 file-name-handler-alist)) | |
| 835 | |
|
19004
f2ce7e947ec9
(jka-compr-added-to-file-coding-system-alist): New var.
Richard M. Stallman <rms@gnu.org>
parents:
18906
diff
changeset
|
836 (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
|
837 |
| 6002 | 838 (mapcar |
| 839 (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
|
840 ;; 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
|
841 (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
|
842 '(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
|
843 (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
|
844 (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
|
845 (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
|
846 (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
|
847 |
|
11179
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
848 (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
|
849 ;; 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
|
850 ;; 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
|
851 ;; sans `.gz'. |
|
9ff0cfb97106
(jka-compr-install): Add items to inhibit-first-line-modes-suffixes.
Richard M. Stallman <rms@gnu.org>
parents:
9493
diff
changeset
|
852 (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
|
853 (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
|
854 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
|
855 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
|
856 ;; 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
|
857 ;; 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
|
858 ;; -*- 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
|
859 ;; 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
|
860 (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
|
861 (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
|
862 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
|
863 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
|
864 (setq auto-mode-alist |
|
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
865 (append auto-mode-alist jka-compr-mode-alist-additions))) |
| 6002 | 866 |
| 867 | |
| 868 (defun jka-compr-uninstall () | |
| 869 "Uninstall jka-compr. | |
| 7066 | 870 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
|
871 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
|
872 by `jka-compr-installed'." |
|
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
873 ;; Delete from inhibit-first-line-modes-suffixes |
|
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
874 ;; what jka-compr-install added. |
|
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
875 (mapcar |
|
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
876 (function (lambda (x) |
|
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
877 (and (jka-compr-info-strip-extension x) |
|
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
878 (setq inhibit-first-line-modes-suffixes |
|
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
879 (delete (jka-compr-info-regexp x) |
|
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
880 inhibit-first-line-modes-suffixes))))) |
|
c271ed10f874
(jka-compr-install): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
11179
diff
changeset
|
881 jka-compr-compression-info-list) |
| 6002 | 882 |
| 883 (let* ((fnha (cons nil file-name-handler-alist)) | |
| 884 (last fnha)) | |
| 885 | |
| 886 (while (cdr last) | |
| 887 (if (eq (cdr (car (cdr last))) 'jka-compr-handler) | |
| 888 (setcdr last (cdr (cdr last))) | |
| 889 (setq last (cdr last)))) | |
| 890 | |
| 891 (setq file-name-handler-alist (cdr fnha))) | |
| 892 | |
| 893 (let* ((ama (cons nil auto-mode-alist)) | |
| 894 (last ama) | |
| 895 entry) | |
| 896 | |
| 897 (while (cdr last) | |
| 898 (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
|
899 (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
|
900 (and (consp (cdr entry)) |
|
0160fca3dee1
(jka-compr-mode-compression-info-list): Add .tgz extension.
Richard M. Stallman <rms@gnu.org>
parents:
9084
diff
changeset
|
901 (eq (nth 2 entry) 'jka-compr))) |
| 6002 | 902 (setcdr last (cdr (cdr last))) |
| 903 (setq last (cdr last)))) | |
| 904 | |
|
19004
f2ce7e947ec9
(jka-compr-added-to-file-coding-system-alist): New var.
Richard M. Stallman <rms@gnu.org>
parents:
18906
diff
changeset
|
905 (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
|
906 |
|
f2ce7e947ec9
(jka-compr-added-to-file-coding-system-alist): New var.
Richard M. Stallman <rms@gnu.org>
parents:
18906
diff
changeset
|
907 (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
|
908 (last ama) |
|
f2ce7e947ec9
(jka-compr-added-to-file-coding-system-alist): New var.
Richard M. Stallman <rms@gnu.org>
parents:
18906
diff
changeset
|
909 entry) |
|
f2ce7e947ec9
(jka-compr-added-to-file-coding-system-alist): New var.
Richard M. Stallman <rms@gnu.org>
parents:
18906
diff
changeset
|
910 |
|
f2ce7e947ec9
(jka-compr-added-to-file-coding-system-alist): New var.
Richard M. Stallman <rms@gnu.org>
parents:
18906
diff
changeset
|
911 (while (cdr last) |
|
f2ce7e947ec9
(jka-compr-added-to-file-coding-system-alist): New var.
Richard M. Stallman <rms@gnu.org>
parents:
18906
diff
changeset
|
912 (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
|
913 (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
|
914 (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
|
915 (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
|
916 |
|
f2ce7e947ec9
(jka-compr-added-to-file-coding-system-alist): New var.
Richard M. Stallman <rms@gnu.org>
parents:
18906
diff
changeset
|
917 (setq file-coding-system-alist (cdr ama)))) |
| 6002 | 918 |
| 919 | |
| 920 (defun jka-compr-installed-p () | |
| 921 "Return non-nil if jka-compr is installed. | |
| 7066 | 922 The return value is the entry in `file-name-handler-alist' for jka-compr." |
| 6002 | 923 |
| 924 (let ((fnha file-name-handler-alist) | |
| 925 (installed nil)) | |
| 926 | |
| 927 (while (and fnha (not installed)) | |
| 928 (and (eq (cdr (car fnha)) 'jka-compr-handler) | |
| 929 (setq installed (car fnha))) | |
| 930 (setq fnha (cdr fnha))) | |
| 931 | |
| 932 installed)) | |
| 933 | |
| 934 | |
| 935 ;;; Add the file I/O hook if it does not already exist. | |
| 936 ;;; Make sure that jka-compr-file-name-handler-entry is eq to the | |
| 937 ;;; entry for jka-compr in file-name-handler-alist. | |
| 938 (and (jka-compr-installed-p) | |
| 939 (jka-compr-uninstall)) | |
| 940 | |
| 941 (jka-compr-install) | |
| 942 | |
| 943 | |
| 944 (provide 'jka-compr) | |
| 945 | |
| 946 ;; jka-compr.el ends here. |
