filters

Appliable filters

In this section the appliable filters are presented:

Source filters

Filters applying the processed sources start each time with the prefix @src.@. After the prefix the main filter key follows.

Filtering sources with special ids

src.id=<ID>

or

src.id=<ID1>,<ID2>,...,<IDn>

processes the called tool(s) only for the filtered sources.

If you want to filter the other way round (leave out sources with given id), just put a minus (-) at the begin of the id number:

src.id=-<ID>

or

src.id=-<ID1>,<ID2>,...,<IDn>

Note that the minus will invert your filter for all ids named in this range!

HRC filters

Filters applying the processed sources start each time with the prefix hrc.. After the prefix the main filter key follows.

Filtering HRC configurations with special ids

hrc.id=<ID>

or

hrc.ids=<ID1>,<ID2>,...,<IDn>

processes the called tool(s) only for the filtered HRC configurations.

If you want to filter the other way round (leave out HRCs with given id), just put a minus (-) at the begin of the id number.

hrc.id=-<ID>

or

hrc.id=-<ID1>,<ID2>,...,<IDn>

Note that the minus will invert your filter for all ids named in this range!