Confirmed users
574
edits
DXR Parallel Tree Indexing: Difference between revisions
Add es_alias to the frozen config.
(Make a few corrections.) |
(Add es_alias to the frozen config.) |
||
| Line 18: | Line 18: | ||
{name: "mozilla-central", | {name: "mozilla-central", | ||
format: 11, # By storing the number here, we can just query for.... We don't have to worry about the alias template string going stale; the deploy script re-reads the config file each time. | format: 11, # By storing the number here, we can just query for.... We don't have to worry about the alias template string going stale; the deploy script re-reads the config file each time. | ||
es_alias: "dxr_11_mozilla-central", # in case es_alias changes in the conf file | |||
enabled_plugins: ["clang", "pygmentize"], | enabled_plugins: ["clang", "pygmentize"], | ||
maybe some plugin config # TODO: how do we pluggably serialize this? We don't need any of these yet, so it can wait. | maybe some plugin config # TODO: how do we pluggably serialize this? We don't need any of these yet, so it can wait. | ||