Skip to content
This repository has been archived by the owner on Mar 10, 2022. It is now read-only.

Extention doesn't produce the same repo name as sourcegraph server #86

Open
Enr1g opened this issue May 19, 2020 · 0 comments
Open

Extention doesn't produce the same repo name as sourcegraph server #86

Enr1g opened this issue May 19, 2020 · 0 comments

Comments

@Enr1g
Copy link

Enr1g commented May 19, 2020

Somehow sourcegraph server and plugins compose repo name from remote origin inconsistently: plugins do not add port number.

Following "Generic Git host" configuration on the sourcegraph server leads to the name 1.2.3.4-12345/repo-name of repo:

{
  "url": "http://1.2.3.4:12345",
  "repos": ["repo-name.git"]
}

I've cloned repo locally (git clone "http://1.2.3.4:12345/repo-name.git" repo-name), opened it in VSCode and tried to use functionality open (Alt+A) on a file which got me the following query in sourcegraph's WebUI:

repo:^1\.2\.3\.4/repo-name$@branch_name file:^dir1%5Cdir2%5Cfile\.go

As we can see, port number is missing. The repo name is considered to be 1.2.3.4/repo-name not 1.2.3.4-12345/repo-name. Changing query manually to

repo:^1\.2\.3\.4-12345/repo-name$@branch_name file:^dir1%5Cdir2%5Cfile\.go

makes sourcegraph server successfully open target file.

I was able to reproduce bug on VSCode and SublimeText 3 (both Mac and Windows).

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant