mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-09-13 14:32:28 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Separate lint messages into warnings and pedantic warnings

Browse source
This commit is contained in:
Daniel Martí 2014-03-18 12:15:50 +01:00
parent 945d8b126f
commit d5c62d3bbd
2 changed files with 115 additions and 83 deletions
Download patch file Download diff file Expand all files Collapse all files

4
completion/bash-completion
View file

@ -194,8 +194,8 @@ __complete_rewritemeta() {
}
__complete_lint() {
opts="-h -v"
lopts="--help --verbose"
opts="-h -v -p"
lopts="--help --verbose --pedantic"
case "${cur}" in
-*)
__complete_options