diff options
author | Griffin Smith <root@gws.fyi> | 2020-03-28T03·32-0400 |
---|---|---|
committer | Griffin Smith <root@gws.fyi> | 2020-03-28T15·47-0400 |
commit | 28ccec970435f9acfdecfae95848947c8b751e09 (patch) | |
tree | 4a55bdaab006c46cd5ad86d407d7d80fab8ed57f /home/modules/lib |
Initial commit
It begins...
Diffstat (limited to 'home/modules/lib')
-rw-r--r-- | home/modules/lib/cloneRepo.nix | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/home/modules/lib/cloneRepo.nix b/home/modules/lib/cloneRepo.nix new file mode 100644 index 000000000000..50f6ca2d3d01 --- /dev/null +++ b/home/modules/lib/cloneRepo.nix @@ -0,0 +1,67 @@ +{ lib, config, ... }: +with lib; +{ + options = { + 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.impure.clonedRepos; + }; +} |