aboutsummaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorSilvio Rhatto <rhatto@riseup.net>2015-10-19 12:42:52 -0200
committerSilvio Rhatto <rhatto@riseup.net>2015-10-19 12:42:52 -0200
commit70cc678f95bc4bda9c4f25733499c944716dc1f1 (patch)
tree1e0b48f48e2eebc7c998b25ff01a52f34c6eb702 /share
parent2d6949dded8388f2327c1a762aea34ada060a07a (diff)
downloadhydra-70cc678f95bc4bda9c4f25733499c944716dc1f1.tar.gz
hydra-70cc678f95bc4bda9c4f25733499c944716dc1f1.tar.bz2
Sync: may ignore repositories
Diffstat (limited to 'share')
-rwxr-xr-xshare/hydra/sync4
1 files changed, 4 insertions, 0 deletions
diff --git a/share/hydra/sync b/share/hydra/sync
index d425d90..9b1d097 100755
--- a/share/hydra/sync
+++ b/share/hydra/sync
@@ -21,6 +21,10 @@ hydra_config_load
# Sync each repository.
function hydra_sync {
for repository in $*; do
+ if [ -e "$HYDRA_FOLDER/config/repository/ignore/$repository" ]; then
+ continue
+ fi
+
if [ "$repository" == "keyringer" ]; then
UPDATE_KEYRINGER="yes"
continue