diff options
Diffstat (limited to 'home-manager')
| -rw-r--r-- | home-manager/default.nix | 1 | ||||
| -rw-r--r-- | home-manager/resources/activation-scripts/clone-repos.sh | 19 |
2 files changed, 0 insertions, 20 deletions
diff --git a/home-manager/default.nix b/home-manager/default.nix index c1a105f..2e1ed72 100644 --- a/home-manager/default.nix +++ b/home-manager/default.nix @@ -1,6 +1,5 @@ { imports = [ - ./clone-repos.nix ./firefox.nix ./fontconfig.nix ./home-cleanup.nix diff --git a/home-manager/resources/activation-scripts/clone-repos.sh b/home-manager/resources/activation-scripts/clone-repos.sh deleted file mode 100644 index adf8fd7..0000000 --- a/home-manager/resources/activation-scripts/clone-repos.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh - -clonemissing() { - # pull and return if already existing - if [ -d "$2"/.git ]; then - run cd $VERBOSE_ARG "$2" - run git pull $VERBOSE_ARG || echo "$2: failed to pull from remote" - return - fi - - # clone $1 to $2 - run mkdir -p $VERBOSE_ARG "$2" - run git clone $VERBOSE_ARG "$1" "$2" - - # link files to $3 - [ -z "$3" ] && return - run mkdir -p $VERBOSE_ARG "$3" - run ln -sf $VERBOSE_ARG "$2"/* "$3" -} |