diff options
Diffstat (limited to 'users/grfn/system/home/modules/lib/cloneRepo.nix')
-rw-r--r-- | users/grfn/system/home/modules/lib/cloneRepo.nix | 76 |
1 files changed, 0 insertions, 76 deletions
diff --git a/users/grfn/system/home/modules/lib/cloneRepo.nix b/users/grfn/system/home/modules/lib/cloneRepo.nix deleted file mode 100644 index 806a8be03cb2..000000000000 --- a/users/grfn/system/home/modules/lib/cloneRepo.nix +++ /dev/null @@ -1,76 +0,0 @@ -{ lib, config, ... }: -with lib; -{ - options = { - grfn.impure.clonedRepos = mkOption { - description = "Repositories to clone"; - default = { }; - type = with types; attrsOf ( - 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 - 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 - fi - '') - config.grfn.impure.clonedRepos; - }; -} |