search

google / zoekt

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

More Options for zoekt-git-index in zoekt-indexserver #76

Open nikos912000 opened 5 years ago

nikos912000 commented 5 years ago

What we've found useful is to be able to change the options of zoekt-git-index on demand, without the need of any code changes. This can be extremely handy when for example building/running using Docker.

An important option is the file_limit but I believe it'd be useful to have ctags as well.

These could be passed as Options and then all the way down here.

In terms of ctags, do we need this to be enabled by default? This is the case in the indexserver but not in the gitindex.

If you agree or have any other properties in mind let me know and I'll raise a PR.

hanwen commented 5 years ago

SGTM. I'd make something that is demarshaled from JSON so you don't have wire up a zillion options by hand.

hanwen commented 5 years ago

ping. any updates here?

nikos912000 commented 5 years ago

Apologies, don't think I have time for that. Wouldn't mind closing that for now unless someone else could help?