src extensions copy

Flags

NameDescriptionDefault Value
-current-userThe current user
-dump-requestsLog GraphQL requests and responses to stdoutfalse
-extension-idThe <extID> in https://sourcegraph.com/extensions/&lt;extID> (e.g. sourcegraph/java)
-get-curlPrint the curl command for executing this query and exit (WARNING: includes printing your access token!)false
-insecure-skip-verifySkip validation of TLS certificates against trusted chainsfalse
-traceLog the trace ID for requests. See docsfalse
-user-agent-telemetryInclude the operating system and architecture in the User-Agent sent with requests to Sourcegraphtrue

Usage

SHELL
Usage of 'src extensions copy': -current-user string The current user -dump-requests Log GraphQL requests and responses to stdout -extension-id string The <extID> in https://sourcegraph.com/extensions/<extID> (e.g. sourcegraph/java) -get-curl Print the curl command for executing this query and exit (WARNING: includes printing your access token!) -insecure-skip-verify Skip validation of TLS certificates against trusted chains -trace Log the trace ID for requests. See https://sourcegraph.com/docs/admin/observability/tracing -user-agent-telemetry Include the operating system and architecture in the User-Agent sent with requests to Sourcegraph (default true) Copy an extension from Sourcegraph.com to your private registry.