add --skip to shed_lint

should fix galaxyproject/tools-iuc#5500
galaxyproject · Oct 16, 2023 · b7192a2 · b7192a2
1 parent b7c79c5
commit b7192a2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/planemo/commands/cmd_shed_lint.py b/planemo/commands/cmd_shed_lint.py
@@ -13,6 +13,7 @@
 @options.shed_realization_options()
 @options.report_level_option()
 @options.fail_level_option()
+@options.skip_option()
 @options.click.option(
     "--tools", is_flag=True, default=False, help=("Lint tools discovered in the process of linting repositories.")
 )

diff --git a/planemo/shed_lint.py b/planemo/shed_lint.py
@@ -60,7 +60,9 @@ def lint_repository(ctx, realized_repository, **kwds):
     path = realized_repository.real_path
     info("Linting repository %s" % path)
     lint_args = build_tool_lint_args(ctx, **kwds)
+    info(f"Lint_args {lint_args}") 
     lint_args, lint_ctx = setup_lint(ctx, lint_args=lint_args, **kwds)
+    info(f"Lint_args {lint_args} lint_ctx.skip_types {lint_ctx.skip_types}") 
     lint_ctx.lint(
         "lint_expansion",
         lint_expansion,