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

lint: make --force-yamllint error if yamllint is not installed

Browse source 
https://gitlab.com/fdroid/fdroidserver/-/merge_requests/753#note_353829401
This commit is contained in:
Hans-Christoph Steiner 2020-06-02 21:53:24 +02:00
parent 83e0693231
commit 6c5887e906
No known key found for this signature in database
GPG key ID: 3E177817BA1B9BFA
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
fdroidserver/lint.py
View file

@ -603,6 +603,9 @@ def main():
if app.Disabled: if app.Disabled:
continue continue
if options.force_yamllint:
import yamllint # throw error if it is not installed
# only run yamllint when linting individual apps. # only run yamllint when linting individual apps.
if len(options.appid) > 0 or options.force_yamllint: if len(options.appid) > 0 or options.force_yamllint: