help-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: extract regexp


From: Bruce Ingalls
Subject: Re: extract regexp
Date: Tue, 22 Apr 2003 17:31:19 GMT
User-agent: Mozilla/5.0 (X11; U; Linux i586; en-US; rv:1.3) Gecko/20030314

Kevin Rodgers wrote:
Bruce Ingalls wrote:
Unfortunately, it gets a little more tricky, as I should check that
mail.server.server*.type
is pop3 or imap, and not nntp, but this is good enough.

Is that information in the prefs.js file, or do you have to querey the server?

It's in prefs.js.
I didn't say everything about how I was using this code, and I suspect that
your correction (while appreciated) is not appropriate.

There is one nonstandard regex that I pass in, but otherwise, I can use a normal
string for the key, and concat it.
I'm sure the previous line sounds like rambling, and I likely need to explain myself in code.

You can see how I am actually using it, in the EMacro 2.7 beta at
<url: http://sf.net/projects/emacro/ >
in the files e-config.el and e-functions.el

I also use this function to import (the first possible) nntp news server,
as well as login IDs, etc.

Here are excerpts from my prefs.js file, with names slightly altered for protection:

user_pref("mail.server.server1.directory", "/home/bingalls/.mozilla/default/mo3abcd.slt/Mail/pop-server.aol.com");
user_pref("mail.server.server1.download_on_biff", true);
user_pref("mail.server.server1.empty_trash_on_exit", true);
user_pref("mail.server.server1.hostname", "pop-server.aol.com");
user_pref("mail.server.server1.spamLoggingEnabled", true);
user_pref("mail.server.server1.type", "pop3");

//...

user_pref("mail.server.server3.directory", "/home/bingalls/.mozilla/default/mo3abcd.slt/News/news-server.aol.com");
user_pref("mail.server.server3.hostname", "news-server.aol.com");
user_pref("mail.server.server3.max_cached_connections", 2);
user_pref("mail.server.server3.name", "news-server.aol.com");
user_pref("mail.server.server3.newsrc.file", "/home/bingalls/.mozilla/default/mo3abcd.slt/News/newsrc-news-server.aol.com");
user_pref("mail.server.server3.type", "nntp");


Thus, the mail.server.server?.type in prefs.js tells me that I have a POP3, IMAP, NNTP or local folder.
The '*.type' follows the server name, by a variable number of lines.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]