annotate lisp/mail/unrmail.el @ 10434:5cb0747f521f

(iso-aggressive-german-trans-tab): Doc fix. (iso-cvt-ffh, iso-cvt-wfh, iso-cvt-ash): Doc fix.
author Karl Heuer <kwzh@gnu.org>
date Mon, 16 Jan 1995 22:48:03 +0000
parents 8d8033687586
children 6a26526998f6
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
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; along with GNU Emacs; see the file COPYING. If not, write to
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22
2233
fb0ed5a1d0f3 Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 982
diff changeset
23 ;;; Code:
fb0ed5a1d0f3 Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 982
diff changeset
24
982
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 (defvar command-line-args-left) ;Avoid 'free variable' warning
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;;;###autoload
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 (defun batch-unrmail ()
6618
8d8033687586 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 4266
diff changeset
29 "Convert Rmail files to system inbox format.
982
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 Specify the input Rmail file names as command line arguments.
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 For each Rmail file, the corresponding output file name
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 is made by adding `.mail' at the end.
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 For example, invoke `emacs -batch -f batch-unrmail RMAIL'."
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 ;; 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
35 (if (not noninteractive)
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 (error "`batch-unrmail' is to be used only with -batch"))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 (let ((error nil))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 (while command-line-args-left
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 (or (unrmail (car command-line-args-left)
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 (concat (car command-line-args-left) ".mail"))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 (setq error t))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 (setq command-line-args-left (cdr command-line-args-left)))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 (message "Done")
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 (kill-emacs (if error 1 0))))
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ;;;###autoload
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 (defun unrmail (file to-file)
6618
8d8033687586 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 4266
diff changeset
48 "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
49 (interactive "fUnrmail (rmail file): \nFUnrmail into (new mailbox file): ")
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
50 (let ((message-count 0)
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
51 (rmail-delete-after-output nil))
982
595f9517f205 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 (rmail file)
4266
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
53 (message "Writing messages to %s..." to-file)
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
54 (while (< message-count rmail-total-messages)
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
55 (rmail-show-message
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
56 (setq message-count (1+ message-count)))
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
57 (rmail-output to-file 1 t))
5a7266ff9af1 (unrmail): Total rewrite.
Richard M. Stallman <rms@gnu.org>
parents: 2247
diff changeset
58 (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
59
fb0ed5a1d0f3 Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 982
diff changeset
60 ;;; unrmail.el ends here