annotate .cms/lib/codemirror/mode/sieve/index.html @ 0:78edf6b517a0 draft

24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: Sieve (RFC5228) mode</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel=stylesheet href="../../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel="stylesheet" href="../../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="sieve.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <style>.CodeMirror {background: #f8f8f8;}</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <li><a class=active href="#">Sieve (RFC5228)</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 <h2>Sieve (RFC5228) mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <form><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 #
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 # Example Sieve Filter
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 # Declare any optional features or extension used by the script
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 #
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 require ["fileinto", "reject"];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 #
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 # Reject any large messages (note that the four leading dots get
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 # "stuffed" to three)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 #
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 if size :over 1M
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 reject text:
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 Please do not send me large attachments.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 Put your file on a server and send me the URL.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 Thank you.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 .... Fred
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 .
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 ;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 stop;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 #
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 # Handle messages from known mailing lists
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 # Move messages from IETF filter discussion list to filter folder
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 #
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 if header :is "Sender" "owner-ietf-mta-filters@imc.org"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 fileinto "filter"; # move to "filter" folder
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 #
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 # Keep all messages to or from people in my company
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 #
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 elsif address :domain :is ["From", "To"] "example.com"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 keep; # keep in "In" folder
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 #
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 # Try and catch unsolicited email. If a message is not to me,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 # or it contains a subject known to be spam, file it away.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 #
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 elsif anyof (not address :all :contains
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 ["To", "Cc", "Bcc"] "me@example.com",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 header :matches "subject"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 ["*make*money*fast*", "*university*dipl*mas*"])
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 # If message header does not contain my address,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 # it's from a list.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 fileinto "spam"; # move to "spam" folder
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 # Move all other (non-company) mail to "personal"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 # folder.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 fileinto "personal";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 </textarea></form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 <p><strong>MIME types defined:</strong> <code>application/sieve</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 </article>