feat(nixos/sourcegraph): Move cheddar server to module & make ports configurable

Change-Id: Iaf0c854b148062e30d426c2e92638932caf2e92e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1065
Tested-by: BuildkiteCI
Reviewed-by: lukegb <lukegb@tvl.fyi>
This commit is contained in:
Vincent Ambo 2020-07-12 12:51:45 +01:00 committed by tazjin
parent 90b8433828
commit 5abdc16f6f
2 changed files with 30 additions and 17 deletions

View file

@ -2,19 +2,43 @@
# Running it outside of a container is a futile endeavour for now.
{ config, pkgs, lib, ... }:
let cfg = config.services.depot.sourcegraph;
let
cfg = config.services.depot.sourcegraph;
depot = config.depot;
in {
options.services.depot.sourcegraph = {
enable = lib.mkEnableOption "SourceGraph code search engine";
options.services.depot.sourcegraph = with lib; {
enable = mkEnableOption "SourceGraph code search engine";
port = mkOption {
description = "Port on which SourceGraph should listen";
type = types.int;
default = 3463;
};
cheddarPort = mkOption {
description = "Port on which cheddar should listen";
type = types.int;
default = 4238;
};
};
config = lib.mkIf cfg.enable {
# Run a cheddar syntax highlighting server
systemd.services.cheddar-server = {
wantedBy = [ "multi-user.target" ];
script = "${depot.tools.cheddar}/bin/cheddar --listen 0.0.0.0:${toString cfg.cheddarPort} --sourcegraph-server";
serviceConfig = {
DynamicUser = true;
Restart = "always";
};
};
virtualisation.oci-containers.containers.sourcegraph = {
image = "sourcegraph/server:3.16.1";
ports = [
"127.0.0.1:3463:7080"
"127.0.0.1:3370:3370"
"127.0.0.1:${toString cfg.port}:7080"
];
volumes = [
@ -22,7 +46,7 @@ in {
"/var/lib/sourcegraph/data:/var/opt/sourcegraph"
];
environment.SRC_SYNTECT_SERVER = "http://172.17.0.1:4238";
environment.SRC_SYNTECT_SERVER = "http://172.17.0.1:${toString cfg.cheddarPort}";
};
};
}

View file

@ -252,17 +252,6 @@ in lib.fix(self: {
# Run a SourceGraph code search instance
services.depot.sourcegraph.enable = true;
# Run a cheddar syntax highlighting server for SourceGraph
systemd.services.cheddar-server = {
wantedBy = [ "multi-user.target" ];
script = "${depot.tools.cheddar}/bin/cheddar --listen 0.0.0.0:4238 --sourcegraph-server";
serviceConfig = {
DynamicUser = true;
Restart = "always";
};
};
# Start a local SMTP relay to Gmail (used by gerrit)
services.depot.smtprelay = {
enable = true;