aa122cbae7
This CL can be used to compare the style of nixpkgs-fmt against other formatters (nixpkgs, alejandra). Change-Id: I87c6abff6bcb546b02ead15ad0405f81e01b6d9e Reviewed-on: https://cl.tvl.fyi/c/depot/+/4397 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: wpcarro <wpcarro@gmail.com> Reviewed-by: Profpatsch <mail@profpatsch.de> Reviewed-by: kanepyork <rikingcoding@gmail.com> Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: cynthia <cynthia@tvl.fyi> Reviewed-by: edef <edef@edef.eu> Reviewed-by: eta <tvl@eta.st> Reviewed-by: grfn <grfn@gws.fyi>
73 lines
2 KiB
Nix
73 lines
2 KiB
Nix
{ lib, config, ... }:
|
|
with lib;
|
|
{
|
|
options = {
|
|
grfn.impure.clonedRepos = mkOption {
|
|
description = "Repositories to clone";
|
|
default = { };
|
|
type = with types; loaOf (
|
|
let
|
|
sm = submodule {
|
|
options = {
|
|
url = mkOption {
|
|
type = nullOr str;
|
|
description = "URL of repository to clone";
|
|
default = null;
|
|
};
|
|
|
|
github = mkOption {
|
|
type = nullOr str;
|
|
description = "Github owner/repo of repository to clone";
|
|
default = null;
|
|
};
|
|
|
|
path = mkOption {
|
|
type = str;
|
|
description = "Path to clone to";
|
|
};
|
|
|
|
onClone = mkOption {
|
|
type = str;
|
|
description = ''
|
|
Shell command to run after cloning the repo for the first time.
|
|
Runs inside the repo itself.
|
|
'';
|
|
default = "";
|
|
};
|
|
|
|
after = mkOption {
|
|
type = listOf str;
|
|
description = "Activation hooks that this repository must be cloned after";
|
|
default = [ ];
|
|
};
|
|
};
|
|
};
|
|
in
|
|
addCheck sm (cr: (! isNull cr.url || ! isNull cr.github))
|
|
);
|
|
};
|
|
};
|
|
|
|
config = {
|
|
home.activation =
|
|
mapAttrs
|
|
(_: { url
|
|
, path
|
|
, github
|
|
, onClone
|
|
, after
|
|
, ...
|
|
}:
|
|
let repoURL = if isNull url then "git@github.com:${github}" else url;
|
|
in hm.dag.entryAfter ([ "writeBoundary" ] ++ after) ''
|
|
$DRY_RUN_CMD mkdir -p $(dirname "${path}")
|
|
if [[ ! -d ${path} ]]; then
|
|
$DRY_RUN_CMD git clone "${repoURL}" "${path}"
|
|
pushd ${path}
|
|
$DRY_RUN_CMD ${onClone}
|
|
popd
|
|
fi
|
|
'')
|
|
config.grfn.impure.clonedRepos;
|
|
};
|
|
}
|