diff options
| author | Paul Eggert | 1996-08-03 02:53:02 +0000 |
|---|---|---|
| committer | Paul Eggert | 1996-08-03 02:53:02 +0000 |
| commit | 4c4a44f32eac7add0c07863510ec85d85de7b945 (patch) | |
| tree | 2a6fd7e4e6b170a44291ff4fa9ba3105f93980c5 | |
| parent | f5792262456f1ea5eddf6697dd9d014cbca19563 (diff) | |
| download | emacs-4c4a44f32eac7add0c07863510ec85d85de7b945.tar.gz emacs-4c4a44f32eac7add0c07863510ec85d85de7b945.zip | |
(rmail-unix-mail-delimiter): Allow space or tab as
first character in mailbox part of `From ' line.
| -rw-r--r-- | lisp/mail/rmail.el | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lisp/mail/rmail.el b/lisp/mail/rmail.el index 3663bdf29d5..416734000e3 100644 --- a/lisp/mail/rmail.el +++ b/lisp/mail/rmail.el | |||
| @@ -232,10 +232,15 @@ Called with region narrowed to the message, including headers.") | |||
| 232 | ;; From: Joe User | 232 | ;; From: Joe User |
| 233 | ;; <joe@y.z> | 233 | ;; <joe@y.z> |
| 234 | ;; can yield `From Joe User Fri Mar 22 08:11:15 1996'. | 234 | ;; can yield `From Joe User Fri Mar 22 08:11:15 1996'. |
| 235 | ;; The mailbox can be removed or be replaced by white space, e.g. | ||
| 236 | ;; From: "Joe User"{space}{tab} | ||
| 237 | ;; <joe@y.z> | ||
| 238 | ;; can yield `From {space}{tab} Fri Mar 22 08:11:15 1996', | ||
| 239 | ;; where {space} and {tab} represent the Ascii space and tab characters. | ||
| 235 | ;; We want to match the results of any of these manglings. | 240 | ;; We want to match the results of any of these manglings. |
| 236 | ;; The following regexp rejects names whose first characters are | 241 | ;; The following regexp rejects names whose first characters are |
| 237 | ;; obviously bogus, but after that anything goes. | 242 | ;; obviously bogus, but after that anything goes. |
| 238 | "\\([^\0-\r \^?].*\\)? " | 243 | "\\([^\0-\b\n-\r\^?].*\\)? " |
| 239 | 244 | ||
| 240 | ;; The time the message was sent. | 245 | ;; The time the message was sent. |
| 241 | "\\([^\0-\r \^?]+\\) +" ; day of the week | 246 | "\\([^\0-\r \^?]+\\) +" ; day of the week |