From 3ca72f0fc1dfdfd2b0a4e6de7f6cd20e9e965b04 Mon Sep 17 00:00:00 2001 From: Matthias Bernt Date: Tue, 10 Dec 2024 18:22:32 +0100 Subject: [PATCH] linter: allow dynamic option definition by from_url --- lib/galaxy/tool_util/linters/inputs.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/galaxy/tool_util/linters/inputs.py b/lib/galaxy/tool_util/linters/inputs.py index 6ebd64d83bee..d0be53b82868 100644 --- a/lib/galaxy/tool_util/linters/inputs.py +++ b/lib/galaxy/tool_util/linters/inputs.py @@ -710,12 +710,14 @@ def lint(cls, tool_source: "ToolSource", lint_ctx: "LintContext"): # TODO check if input param is present for from_dataset from_dataset = options.get("from_dataset", None) from_data_table = options.get("from_data_table", None) + from_url = options.get("from_url", None) if ( from_file is None and from_parameter is None and from_dataset is None and from_data_table is None + and from_url is None and not filter_adds_options ): lint_ctx.error(