diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2015-10-19 12:42:52 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2015-10-19 12:42:52 -0200 |
| commit | 70cc678f95bc4bda9c4f25733499c944716dc1f1 (patch) | |
| tree | 1e0b48f48e2eebc7c998b25ff01a52f34c6eb702 | |
| parent | 2d6949dded8388f2327c1a762aea34ada060a07a (diff) | |
| download | hydra-70cc678f95bc4bda9c4f25733499c944716dc1f1.tar.gz hydra-70cc678f95bc4bda9c4f25733499c944716dc1f1.tar.bz2 | |
Sync: may ignore repositories
| -rwxr-xr-x | share/hydra/sync | 4 |
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 |