2022-09-27 07:27:20 +02:00
|
|
|
extends: existence
|
|
|
|
|
message: "Don't put a space before or after a dash."
|
2024-02-23 06:57:36 +01:00
|
|
|
link: "https://developers.google.com/style/dashes"
|
2022-09-27 07:27:20 +02:00
|
|
|
nonword: true
|
|
|
|
|
level: error
|
|
|
|
|
action:
|
|
|
|
|
name: edit
|
|
|
|
|
params:
|
2024-02-23 06:57:36 +01:00
|
|
|
- trim
|
|
|
|
|
- " "
|
2022-09-27 07:27:20 +02:00
|
|
|
tokens:
|
|
|
|
|
- '\s[—–]\s'
|
2024-02-23 06:57:36 +01:00
|
|
|
|
