2020-06-16 05:26:34 +02:00
|
|
|
# Run sourcegraph, including its entire machinery, in a container.
|
|
|
|
# Running it outside of a container is a futile endeavour for now.
|
2021-04-02 14:18:50 +02:00
|
|
|
{ depot, config, pkgs, lib, ... }:
|
2020-06-16 05:26:34 +02:00
|
|
|
|
2020-07-12 13:51:45 +02:00
|
|
|
let
|
|
|
|
cfg = config.services.depot.sourcegraph;
|
2022-01-30 17:06:58 +01:00
|
|
|
in
|
|
|
|
{
|
2020-07-12 13:51:45 +02:00
|
|
|
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;
|
|
|
|
};
|
2020-06-16 05:26:34 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
config = lib.mkIf cfg.enable {
|
2020-07-12 13:51:45 +02:00
|
|
|
# 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";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2020-06-16 05:26:34 +02:00
|
|
|
virtualisation.oci-containers.containers.sourcegraph = {
|
2021-09-10 12:51:05 +02:00
|
|
|
image = "sourcegraph/server:3.31.2";
|
2020-06-16 05:26:34 +02:00
|
|
|
|
|
|
|
ports = [
|
2020-07-12 13:51:45 +02:00
|
|
|
"127.0.0.1:${toString cfg.port}:7080"
|
2020-06-16 05:26:34 +02:00
|
|
|
];
|
|
|
|
|
|
|
|
volumes = [
|
|
|
|
"/var/lib/sourcegraph/etc:/etc/sourcegraph"
|
|
|
|
"/var/lib/sourcegraph/data:/var/opt/sourcegraph"
|
|
|
|
];
|
2020-06-20 04:58:21 +02:00
|
|
|
|
2021-09-11 15:57:48 +02:00
|
|
|
# TODO(tazjin): Figure out what changed in the protocol.
|
|
|
|
# environment.SRC_SYNTECT_SERVER = "http://172.17.0.1:${toString cfg.cheddarPort}";
|
2021-05-06 15:26:07 +02:00
|
|
|
|
|
|
|
# Sourcegraph needs a higher nofile limit, it logs warnings
|
|
|
|
# otherwise (unclear whether it actually affects the service).
|
|
|
|
extraOptions = [
|
2022-01-30 17:06:58 +01:00
|
|
|
"--ulimit"
|
|
|
|
"nofile=10000:10000"
|
2021-05-06 15:26:07 +02:00
|
|
|
];
|
2020-06-16 05:26:34 +02:00
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|