2020-03-28 04:32:13 +01:00
|
|
|
{ lib, config, ... }:
|
|
|
|
with lib;
|
|
|
|
{
|
|
|
|
options = {
|
2020-05-26 17:27:54 +02:00
|
|
|
grfn.impure.clonedRepos = mkOption {
|
2020-03-28 04:32:13 +01:00
|
|
|
description = "Repositories to clone";
|
|
|
|
default = { };
|
2022-12-29 19:10:23 +01:00
|
|
|
type = with types; attrsOf (
|
2020-03-28 04:32:13 +01:00
|
|
|
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 = [ ];
|
2022-01-30 17:06:58 +01:00
|
|
|
};
|
2020-03-28 04:32:13 +01:00
|
|
|
};
|
|
|
|
};
|
|
|
|
in
|
|
|
|
addCheck sm (cr: (! isNull cr.url || ! isNull cr.github))
|
|
|
|
);
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = {
|
|
|
|
home.activation =
|
|
|
|
mapAttrs
|
|
|
|
(_: { url
|
2020-03-29 18:48:31 +02:00
|
|
|
, path
|
|
|
|
, github
|
|
|
|
, onClone
|
|
|
|
, after
|
|
|
|
, ...
|
2020-03-28 04:32:13 +01:00
|
|
|
}:
|
|
|
|
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
|
2022-05-31 21:34:33 +02:00
|
|
|
if $DRY_RUN_CMD git clone "${repoURL}" "${path}"; then
|
|
|
|
pushd ${path}
|
|
|
|
$DRY_RUN_CMD ${onClone}
|
|
|
|
popd
|
|
|
|
else
|
|
|
|
echo "Git repository ${path} failed to clone"
|
|
|
|
fi
|
2020-03-28 04:32:13 +01:00
|
|
|
fi
|
|
|
|
'')
|
2020-05-26 17:27:54 +02:00
|
|
|
config.grfn.impure.clonedRepos;
|
2020-03-28 04:32:13 +01:00
|
|
|
};
|
|
|
|
}
|