diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-30 18:34:47 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-30 18:34:47 +0200 |
| commit | eecaefdf18f99d8a1ef217ae5a535d54138eaf8d (patch) | |
| tree | a4d0dc0cca0e7ab2a0a3b3328193bcaae0954468 /update-repos | |
| parent | 56ac87fffcaf958f53e019f23fa34e320603dbd8 (diff) | |
| download | archive-server-eecaefdf18f99d8a1ef217ae5a535d54138eaf8d.tar.xz | |
update-repos: update hg, too
Diffstat (limited to 'update-repos')
| -rwxr-xr-x | update-repos | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/update-repos b/update-repos index f301234..3c63847 100755 --- a/update-repos +++ b/update-repos @@ -7,3 +7,9 @@ find "${base_dir}/work/repositories/git" \ -maxdepth 1 \ -type d \ -exec git -C {} remote update \; + +find "${base_dir}/work/repositories/hg" \ + -mindepth 1 \ + -maxdepth 1 \ + -type d \ + -exec hg --cwd {} pull \; |