diff options
author | Vincent Ambo <mail@tazj.in> | 2021-09-11T13·57+0300 |
---|---|---|
committer | tazjin <mail@tazj.in> | 2021-09-11T14·00+0000 |
commit | c148f8925185734b9218023a31f177a933663776 (patch) | |
tree | d3a3ed27eb48c49f3270c07dd2793c998119cd91 /ops | |
parent | 5e61c5d246be50fbe1ba0e9152b99322b9b9ac46 (diff) |
fix(sourcegraph): Temporarily comment out our syntax highlighter r/2843
We changed away from the default sourcegraph one because it didn't support Nix, but it seems that there's been a change in the interaction protocol. Change-Id: I3a2691df6a87672cf83b819143f25d93d9cd6d13 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3531 Tested-by: BuildkiteCI Reviewed-by: eta <tvl@eta.st> Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'ops')
-rw-r--r-- | ops/modules/sourcegraph.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ops/modules/sourcegraph.nix b/ops/modules/sourcegraph.nix index 55a79f7ee3e8..ba4365e1f8ab 100644 --- a/ops/modules/sourcegraph.nix +++ b/ops/modules/sourcegraph.nix @@ -45,7 +45,8 @@ in { "/var/lib/sourcegraph/data:/var/opt/sourcegraph" ]; - environment.SRC_SYNTECT_SERVER = "http://172.17.0.1:${toString cfg.cheddarPort}"; + # TODO(tazjin): Figure out what changed in the protocol. + # environment.SRC_SYNTECT_SERVER = "http://172.17.0.1:${toString cfg.cheddarPort}"; # Sourcegraph needs a higher nofile limit, it logs warnings # otherwise (unclear whether it actually affects the service). |