Splits //ops/nixos into: * //ops/nixos.nix - utility functions for building systems * //ops/machines - shared machine definitions (read by readTree) * //ops/modules - shared NixOS modules (skipped by readTree) This simplifies working with the configuration fixpoint in whitby, and is overall a bit more in line with how NixOS systems in user folders currently work. Change-Id: I1322ec5cc76c0207c099c05d44828a3df0b3ffc1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2931 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: glittershark <grfn@gws.fyi>
		
			
				
	
	
		
			51 lines
		
	
	
	
		
			1.4 KiB
		
	
	
	
		
			Nix
		
	
	
	
	
	
			
		
		
	
	
			51 lines
		
	
	
	
		
			1.4 KiB
		
	
	
	
		
			Nix
		
	
	
	
	
	
| # Run sourcegraph, including its entire machinery, in a container.
 | |
| # Running it outside of a container is a futile endeavour for now.
 | |
| { depot, config, pkgs, lib, ... }:
 | |
| 
 | |
| let
 | |
|   cfg = config.services.depot.sourcegraph;
 | |
| in {
 | |
|   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.26.0";
 | |
| 
 | |
|       ports = [
 | |
|         "127.0.0.1:${toString cfg.port}:7080"
 | |
|       ];
 | |
| 
 | |
|       volumes = [
 | |
|         "/var/lib/sourcegraph/etc:/etc/sourcegraph"
 | |
|         "/var/lib/sourcegraph/data:/var/opt/sourcegraph"
 | |
|       ];
 | |
| 
 | |
|       environment.SRC_SYNTECT_SERVER = "http://172.17.0.1:${toString cfg.cheddarPort}";
 | |
|     };
 | |
|   };
 | |
| }
 |