search

google / zoekt

Fast trigram based code search
1.7k stars 113 forks source link

unknown git hosting site #79

Open vlotorev opened 5 years ago

vlotorev commented 5 years ago

Trying to index local repo which was fetched from Gerrit results in unknow git hosting site error. Probably it's caused by not recognizing username in hosting site:

[vlotorev@pc zoekt]$ zoekt-git-index ~/projects/u-boot/
2019/02/15 23:52:52 setTemplatesFromConfig(/home/vlotorev/projects/u-boot): unknown git hosting site "ssh://vlotorev@<myserver>:29418/u-boot"
hanwen commented 5 years ago

what should the result be?

Do you want the indexing to continue, with "local" support for visualizing the source code in the webserver?

vlotorev commented 5 years ago

Trying to index local repo which was fetched from Gerrit results in unknow git hosting site error.

To be precise it's not error but probably warning, indexing finishes with error code $? = 0.

what should the result be?

No warning, it's confusing and doesn't make sense to user, what should user does wrong?

Do you want the indexing to continue, with "local" support for visualizing the source code in the webserver?

It does continue and code can be searched via webserver.