annotate lisp/mail/unrmail.el @ 20892:18f3cb26243f before-miles-orphaned-changes gcc-2_8_1-980401 gcc-2_8_1-980407 gcc-2_8_1-980412 gcc-2_8_1-980413 gcc-2_8_1-RELEASE gcc_2_8_1-980315 libc-980214 libc-980215 libc-980216 libc-980217 libc-980218 libc-980219 libc-980220 libc-980221 libc-980222 libc-980223 libc-980224 libc-980225 libc-980226 libc-980227 libc-980228 libc-980301 libc-980302 libc-980303 libc-980304 libc-980306 libc-980307 libc-980308 libc-980309 libc-980310 libc-980311 libc-980312 libc-980313 libc-980314 libc-980315 libc-980316 libc-980317 libc-980318 libc-980319 libc-980320 libc-980321 libc-980322 libc-980323 libc-980324 libc-980325 libc-980326 libc-980327 libc-980328 libc-980329 libc-980330 libc-980331 libc-980401 libc-980402 libc-980403 libc-980404 libc-980405 libc-980406 libc-980407 libc-980408 libc-980409 libc-980410 libc-980411 libc-980412 libc-980413 libc-980414 libc-980428 libc-980429 libc-980430 libc-980501 libc-980502 libc-980503 libc-980504 libc-980505 libc-980506 libc-980507 libc-980508 libc-980509 libc-980510 libc-980512 libc-980513 libc-980514 libc-980515 libc-980516 libc-980517 libc-980518 libc-980519 libc-980520 libc-980521 libc-980522 libc-980523 libc-980524 libc-980525 libc-980526 libc-980527 libc-980528 libc-980529 libc-980530 libc-980531 libc-980601 libc-980602 libc-980603 libc-980604 libc-980605 libc-980606 libc-980607 libc-980608 libc-980609 libc-980610 libc-980611 libc-980612 libc-980613

Add PentiumII (i786). Add '7' to all i[3456] entries. Add AMD and Cyrix names for P5 and P6.
author Richard Kenner <kenner@gnu.org>
date Fri, 13 Feb 1998 12:16:46 +0000
parents 11218164bc54
children 67b464da13ec
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
982
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 ;;; unrmail.el --- convert Rmail files to mailbox files.
2233
fb0ed5a1d0f3 Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 982
diff changeset
2
982
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3 ;;; Copyright (C) 1992 Free Software Foundation, Inc.
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4
2247
2c7997f249eb Add or correct keywords
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 2233
diff changeset
5 ;; Keywords: mail
2c7997f249eb Add or correct keywords
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 2233
diff changeset
6
982
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 ;; This file is part of GNU Emacs.
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 ;; GNU Emacs is free software; you can redistribute it and/or modify
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 ;; it under the terms of the GNU General Public License as published by
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; the Free Software Foundation; either version 2, or (at your option)
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; any later version.
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; GNU Emacs is distributed in the hope that it will be useful,
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; GNU General Public License for more details.
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; You should have received a copy of the GNU General Public License
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13113
diff changeset
20 ;; along with GNU Emacs; see the file COPYING. If not, write to the
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13113
diff changeset
21 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13113
diff changeset
22 ;; Boston, MA 02111-1307, USA.
982
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23
2233
fb0ed5a1d0f3 Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 982
diff changeset
24 ;;; Code:
fb0ed5a1d0f3 Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 982
diff changeset
25
982
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26 (defvar command-line-args-left) ;Avoid 'free variable' warning
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 ;;;###autoload
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 (defun batch-unrmail ()
6618
8d8033687586 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 4266
diff changeset
30 "Convert Rmail files to system inbox format.
982
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 Specify the input Rmail file names as command line arguments.
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 For each Rmail file, the corresponding output file name
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 is made by adding `.mail' at the end.
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 For example, invoke `emacs -batch -f batch-unrmail RMAIL'."
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ;; command-line-args-left is what is left of the command line (from startup.el)
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 (if (not noninteractive)
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 (error "`batch-unrmail' is to be used only with -batch"))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 (let ((error nil))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 (while command-line-args-left
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 (or (unrmail (car command-line-args-left)
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 (concat (car command-line-args-left) ".mail"))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 (setq error t))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 (setq command-line-args-left (cdr command-line-args-left)))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 (message "Done")
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 (kill-emacs (if error 1 0))))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 ;;;###autoload
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 (defun unrmail (file to-file)
6618
8d8033687586 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 4266
diff changeset
49 "Convert Rmail file FILE to system inbox format file TO-FILE."
4266
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
50 (interactive "fUnrmail (rmail file): \nFUnrmail into (new mailbox file): ")
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
51 (let ((message-count 0)
11177
6a26526998f6 (unrmail): Don't make or switch to a summary buffer.
Richard M. Stallman <rms@gnu.org>
parents: 6618
diff changeset
52 ;; Prevent rmail from making, or switching to, a summary buffer.
6a26526998f6 (unrmail): Don't make or switch to a summary buffer.
Richard M. Stallman <rms@gnu.org>
parents: 6618
diff changeset
53 (rmail-display-summary nil)
4266
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
54 (rmail-delete-after-output nil))
982
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 (rmail file)
14296
e3e1d7c2e7e5 (unrmail): Default the directory of TO-FILE based on FILE.
Karl Heuer <kwzh@gnu.org>
parents: 14169
diff changeset
56 ;; Default the directory of TO-FILE based on where FILE is.
e3e1d7c2e7e5 (unrmail): Default the directory of TO-FILE based on FILE.
Karl Heuer <kwzh@gnu.org>
parents: 14169
diff changeset
57 (setq to-file (expand-file-name to-file default-directory))
4266
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
58 (message "Writing messages to %s..." to-file)
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
59 (while (< message-count rmail-total-messages)
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
60 (rmail-show-message
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
61 (setq message-count (1+ message-count)))
13113
ece0744c0bb0 (unrmail): Call rmail-toggle-header.
Richard M. Stallman <rms@gnu.org>
parents: 11177
diff changeset
62 (rmail-toggle-header)
4266
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
63 (rmail-output to-file 1 t))
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
64 (message "Writing messages to %s...done" to-file)))
2233
fb0ed5a1d0f3 Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 982
diff changeset
65
18383
11218164bc54 Add provide call.
Richard M. Stallman <rms@gnu.org>
parents: 14296
diff changeset
66 (provide 'unrmail)
11218164bc54 Add provide call.
Richard M. Stallman <rms@gnu.org>
parents: 14296
diff changeset
67
2233
fb0ed5a1d0f3 Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 982
diff changeset
68 ;;; unrmail.el ends here