src extensions copy

Flags

Name	Description	Default Value
-current-user	The current user
-dump-requests	Log GraphQL requests and responses to stdout	false
-extension-id	The in https://sourcegraph.com/extensions/ (e.g. sourcegraph/java)
-get-curl	Print the curl command for executing this query and exit (WARNING: includes printing your access token!)	false
-insecure-skip-verify	Skip validation of TLS certificates against trusted chains	false
-trace	Log the trace ID for requests. See https://docs.sourcegraph.com/admin/observability/tracing	false
-user-agent-telemetry	Include the operating system and architecture in the User-Agent sent with requests to Sourcegraph	true

Usage

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://docs.sourcegraph.com/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.