annotate lisp/mail/unrmail.el @ 9976:2869e501c2de

* etags.c [ETAGS_REGEXP]: All the new code that deals with regexps is compiled if this is defined. The new functions and variables added #ifdef ETAGS_REGEXP are not listed in this ChangeLog. [VMS]: All VMS specific code previously contained in etags-vmslib.c is now included here, modified for dealing with language and regex options intermixed with filenames. (header_file): Global variable deleted. (Lang_Function): New typedef. All language parser functions changed to this new type. (string_numeric_p, substr, prestr): Functions deleted. (readline_internal): Does the job that readline did previously. (longopts): --language and --regex options added. (lang_names, lang_extensions, lang_func, print_language_names): New structures, variables and functions for choosing languages. (print_help): Help strings updated. Calls print_language_names. (argument_type, ARGUMENT): Typedefs for dealing with language and regex options intermixed with filenames. (main): Changed the way of dealing with arguments on the command line to deal with language and regex options intermixed with filenames. (get_language, default_C_entries, Cplusplus_entries, Cstar_entries, Yacc_entries, just_read_file): New functions. (find_entries): Use the new method for choosing the language. (Pascal_functions): Allow intermixing of comment styles. (prolog_getit, skip_comment): Rewritten for speed. (readline): Rewritten to deal with regexps.
author Francesco Potortì <pot@gnu.org>
date Wed, 16 Nov 1994 13:00:49 +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