blob: 796f6c38de4a78575fabc59fbd7cb87f57b06f7f (
plain) (
tree)
|
|
# Configures a code search instance using Livegrep.
#
# We do not currently build Livegrep in Nix, because it's a complex,
# multi-language Bazel build and doesn't play nicely with Nix.
{ config, lib, pkgs, ... }:
let
cfg = config.services.depot.livegrep;
livegrepConfig = {
name = "livegrep";
fs_paths = [{
name = "depot";
path = "/depot";
metadata.url_pattern = "https://code.tvl.fyi/tree/{path}?id={version}#n{lno}";
}];
repositories = [{
name = "depot";
path = "/depot";
revisions = [ "HEAD" ];
metadata = {
url_pattern = "https://code.tvl.fyi/tree/{path}?id={version}#n{lno}";
remote = "https://cl.tvl.fyi/depot.git";
};
}];
};
configFile = pkgs.writeText "livegrep-config.json" (builtins.toJSON livegrepConfig);
# latest as of 2024-02-17
image = "ghcr.io/livegrep/livegrep/base:033fa0e93c";
in
{
options.services.depot.livegrep = with lib; {
enable = mkEnableOption "Run livegrep code search for depot";
port = mkOption {
description = "Port on which livegrep web UI should listen";
type = types.int;
default = 5477; # lgrp
};
};
config = lib.mkIf cfg.enable {
virtualisation.oci-containers.containers.livegrep-codesearch = {
inherit image;
extraOptions = [ "--net=host" ];
volumes = [
"${configFile}:/etc/livegrep-config.json:ro"
"/var/lib/gerrit/git/depot.git:/depot:ro"
];
entrypoint = "/livegrep/bin/codesearch";
cmd = [
"-grpc"
"0.0.0.0:5427" # lgcs
"-reload_rpc"
"-revparse"
"/etc/livegrep-config.json"
];
};
virtualisation.oci-containers.containers.livegrep-frontend = {
inherit image;
dependsOn = [ "livegrep-codesearch" ];
extraOptions = [ "--net=host" ];
entrypoint = "/livegrep/bin/livegrep";
cmd = [
"-listen"
"0.0.0.0:${toString cfg.port}"
"-reload"
"-connect"
"localhost:5427"
"-docroot"
"/livegrep/web"
# TODO(tazjin): docroot with styles etc.
];
};
};
}
# sudo docker exec -ti livegrep /livegrep/bin/codesearch -reload_rpc -revparse /var/lib/livegrep/config.jsno
# sudo docker run -d --ip 172.17.0.3 --name livegrep -v /var/lib/livegrep:/varlib/livegrep -v /var/lib/gerrit/git/depot.git:/depot:ro -v /home/tazjin/livegrep-web:/livegrep/web:ro ghcr.io/livegrep/livegrep/base /livegrep/bin/livegrep -listen 0.0.0.0:8910 -reload -docroot /livegrep/webbsudo docker run -d --ip 172.17.0.3 --name livegrep -v /var/lib/livegrep:/varlib/livegrep -v /var/lib/gerrit/git/depot.git:/depot:ro -v /home/tazjin/livegrep-web:/livegrep/web:ro ghcr.io/livegrep/livegrep/base /livegrep/bin/livegrep -listen 0.0.0.0:8910 -reload -docroot /livegrep/webb
|