-
Notifications
You must be signed in to change notification settings - Fork 0
/
zhlint-rules-schema.json
131 lines (131 loc) · 4.42 KB
/
zhlint-rules-schema.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
{
"$schema": "http://json-schema.org/draft-07/schema#",
"type": "object",
"title": "customize the linting config",
"properties": {
"preset": {
"type": "string",
"enum": [
"default"
],
"description": "Custom preset"
},
"halfWidthPunctuation": {
"type": "string",
"description": "Convert these punctuations into half-width.",
"default": "()"
},
"fullWidthPunctuation": {
"type": "string",
"description": "Convert these punctuations into full-width.",
"default": ",。:;?!“”‘’"
},
"adjustedFullWidthPunctuation": {
"type": "string",
"description": "Treat specific full-width punctuations as half-width for space processing",
"default": "“”‘’"
},
"unifiedPunctuation": {
"type": "string",
"enum": [
"simplified",
"traditional"
],
"description": "Convert traditional Chinese punctuations into simplified ones or vice versa",
"default": "simplified"
},
"skipAbbrs": {
"type": "array",
"allOf": [
{
"type": "string"
}
],
"default": ["Mr.", "Mrs.", "Dr.", "Jr.", "Sr.", "vs.", "etc.", "i.e.", "e.g.", "a.k.a"],
"description": "Special case: skip `fullWidthPunctuation` for abbreviations"
},
"spaceBetweenHalfWidthLetters": {
"type": "boolean",
"description": "Toggle space between half-width letters, true for one space undefined do nothing",
"default": true
},
"noSpaceBetweenFullWidthLetters": {
"type": "boolean",
"description": "Toggle space between full-width letters, true for zero space undefined do nothing",
"default": true
},
"spaceBetweenMixedWidthLetters": {
"type": "boolean",
"description": "Toggle space between mixed-width letters, true for one space false for zero space and undefined do nothing",
"default": true
},
"skipZhUnits": {
"type": "string",
"description": "Special case: skip `spaceBetweenMixedWidthContent` for numbers x Chinese units",
"default": "年月日天号时分秒"
},
"noSpaceBeforePunctuation": {
"type": "boolean",
"description": "Toggle space before punctuations, true for zero space undefined do nothing",
"default": true
},
"spaceAfterHalfWidthPunctuation": {
"type": "boolean",
"default": true,
"description": "Toggle space after half-width punctuations, true for one space, false for zero space and undefined do nothing"
},
"noSpaceAfterFullWidthPunctuation": {
"type": "boolean",
"default": true,
"description": "Toggle space after full-width punctuations, true for zero space, undefined do nothing"
},
"spaceOutsideHalfQuote": {
"type": "boolean",
"default": true,
"description": "Toggle space outside half-width quotes, true for one space, false for zero space and undefined do nothing"
},
"noSpaceOutsideFullQuote": {
"type": "boolean",
"default": true,
"description": "Toggle space outside full-width quotes, true for zero space, undefined do nothing"
},
"noSpaceInsideQuote": {
"type": "boolean",
"default": true,
"description": "Toggle space inside quotes, true for zero space, undefined do nothing"
},
"spaceOutsideHalfwidthBracket": {
"type": "boolean",
"default": true,
"description": "Toggle space outside half-width brackets, true for one space, false for zero space and undefined do nothing"
},
"noSpaceOutsideFullwidthBracket": {
"type": "boolean",
"default": true,
"description": "Toggle space outside full-width brackets, true for zero space, undefined do nothing"
},
"noSpaceInsideBracket": {
"type": "boolean",
"default": true,
"description": "Toggle space inside brackets, true for zero space, undefined do nothing"
},
"spaceOutsideCode": {
"type": "boolean",
"default": true,
"description": "Toggle space outside code, true for one space, false for zero space and undefined do nothing"
},
"noSpaceInsideHyperMark": {
"type": "boolean",
"default": true,
"description": "Toggle space inside hyper mark, true for zero space, undefined do nothing"
},
"trimSpace": {
"type": "boolean",
"default": true
},
"skipPureWestern": {
"type": "boolean",
"default": true
}
}
}