Co-authored-by: Rachael Sewell <rachmari@github.com> Co-authored-by: Felicity Chapman <felicitymay@github.com>
1.7 KiB
title, versions, topics, type, product, autogenerated, intro, redirect_from
| title | versions | topics | type | product | autogenerated | intro | redirect_from | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| execute cli-server |
|
|
reference | {% data reusables.gated-features.codeql %} | codeql-cli | [Deep plumbing] Server for running multiple commands while avoiding repeated JVM initialization. |
|
{% data reusables.codeql-cli.man-pages-version-note %}
Synopsis
codeql execute cli-server <options>...
Description
[Deep plumbing] Server for running multiple commands while avoiding repeated JVM initialization.
Options
Primary Options
Common options
-h, --help
Show this help text.
-J=<opt>
[Advanced] Give option to the JVM running the command.
(Beware that options containing spaces will not be handled correctly.)
-v, --verbose
Incrementally increase the number of progress messages printed.
-q, --quiet
Incrementally decrease the number of progress messages printed.
--verbosity=<level>
[Advanced] Explicitly set the verbosity level to one of errors,
warnings, progress, progress+, progress++, progress+++. Overrides -v
and -q.
--logdir=<dir>
[Advanced] Write detailed logs to one or more files in the given directory, with generated names that include timestamps and the name of the running subcommand.
(To write a log file with a name you have full control over, instead
give --log-to-stderr and redirect stderr as desired.)