Skip to content

Add extension copy command#82

Merged
chrismwendt merged 2 commits intomasterfrom
extension-copy
Jan 17, 2020
Merged

Add extension copy command#82
chrismwendt merged 2 commits intomasterfrom
extension-copy

Conversation

@chrismwendt
Copy link
Contributor

A customer is having difficulty publishing language extensions to their private registry due to internet restrictions, OS package manager restrictions, and an incompatible Node version.

This PR adds the following command:

src extension copy -extension-id=sourcegraph/java -current-user=chris

Internally, it fetches the manifest and bundle from Sourcegraph.com (hard-coded) then publishes them to the current Sourcegraph instance.

@chrismwendt chrismwendt requested a review from efritz January 17, 2020 22:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments