diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-28 19:46:42 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-28 19:46:42 +0200 |
| commit | 15585cf57db2760a50121d8d74e073310bf95f5a (patch) | |
| tree | e7358aa51c74c29467b1edae0360b3ad1501fa66 | |
| parent | 3546003ca936dcaeb5182374842f94226f1794ae (diff) | |
| download | archive-server-15585cf57db2760a50121d8d74e073310bf95f5a.tar.xz | |
update-repos: update only git repos for now
| -rwxr-xr-x | update-repos | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update-repos b/update-repos index bfd3ec6..f301234 100755 --- a/update-repos +++ b/update-repos @@ -2,7 +2,7 @@ base_dir=$(dirname "$(readlink -f "$0")") -find "${base_dir}/work/repositories" \ +find "${base_dir}/work/repositories/git" \ -mindepth 1 \ -maxdepth 1 \ -type d \ |