chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8f36adf
)
lint: also check for trailing spaces in names
author
Daniel Martí
<mvdan@mvdan.cc>
Sun, 31 Jan 2016 21:29:31 +0000
(21:29 +0000)
committer
Daniel Martí
<mvdan@mvdan.cc>
Sun, 31 Jan 2016 21:29:31 +0000
(21:29 +0000)
I was wrong - we don't check for trailing whitespaces on lines. That
would have to happen at parse time, not in the linter, so it would slow
things down and would become an error, not a warning. Not really worth
it.
fdroidserver/lint.py
patch
|
blob
|
history
diff --git
a/fdroidserver/lint.py
b/fdroidserver/lint.py
index a5a8c655bf47d491bec047e83c2c6d654ea83637..ee4381c0f10c4a4a73adad3a71be4ebc9b6aa281 100644
(file)
--- a/
fdroidserver/lint.py
+++ b/
fdroidserver/lint.py
@@
-77,6
+77,8
@@
regex_checks = {
'Author Name': [
(re.compile(r'^\s'),
"Unnecessary leading space"),
+ (re.compile(r'.*\s$'),
+ "Unnecessary trailing space"),
],
'License': [
(re.compile(r'^(|None|Unknown)$'),