Break tools out into their own dirs
This commit is contained in:
parent
b56030804c
commit
3b9e4076a5
15 changed files with 59 additions and 66 deletions
tools/yamllint
8
tools/yamllint/BUILD
Normal file
8
tools/yamllint/BUILD
Normal file
|
@ -0,0 +1,8 @@
|
|||
# WARNING: YAMLLINT is GLP3'd code. Do not extend, modify or depend on this as a lib.
|
||||
py_binary(
|
||||
name = "yamllint",
|
||||
main = "__main__.py",
|
||||
deps = [
|
||||
py_requirement("yamllint"),
|
||||
]
|
||||
)
|
15
tools/yamllint/__main__.py
Normal file
15
tools/yamllint/__main__.py
Normal file
|
@ -0,0 +1,15 @@
|
|||
#!/usr/bin/python
|
||||
|
||||
# WARNING: Yamllint is GPL3'd code.
|
||||
|
||||
"""A shim for executing yamllint."""
|
||||
|
||||
import re
|
||||
import sys
|
||||
|
||||
from yamllint.cli import run
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
sys.argv[0] = re.sub(r"(-script\.pyw?|\.exe)?$", "", sys.argv[0])
|
||||
sys.exit(run())
|
Loading…
Add table
Add a link
Reference in a new issue