Usage of 'src extensions delete':
-dump-requests
Log GraphQL requests and responses to stdout
-get-curl
Print the curl command for executing this query and exit (WARNING: includes printing your access token!)
-id string
The ID (GraphQL API ID, not extension ID) of the extension to delete.
-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)
Examples:
Delete the extension by ID (GraphQL API ID, not extension ID):
$ src extensions delete -id=UmVnaXN0cnlFeHRlbnNpb246...
Delete the extension with extension ID "alice/myextension":
$ src extensions delete -id=$(src extensions get -f '{{.ID}}' -extension-id=alice/myextension)