diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2017-09-16 18:28:48 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2017-09-16 18:28:48 -0300 |
| commit | 7d889c0767d44d070628ad708ed640f1f8d9a7ce (patch) | |
| tree | 2cb2c883ca1855ee71ec4064852b17a69cd78a56 | |
| parent | 989760735fb75847f133e16af4507589f21dbc8a (diff) | |
| download | utils-git-7d889c0767d44d070628ad708ed640f1f8d9a7ce.tar.gz utils-git-7d889c0767d44d070628ad708ed640f1f8d9a7ce.tar.bz2 | |
Updates mrconfig-updater
| -rwxr-xr-x | mrconfig-updater | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mrconfig-updater b/mrconfig-updater index 609c2a8..0781709 100755 --- a/mrconfig-updater +++ b/mrconfig-updater @@ -24,6 +24,10 @@ rm -f $MRCONFIG # Iterate for folder in $FOLDERS; do + if [ ! -d "$folder" ]; then + continue + fi + find $folder -maxdepth $DEPTH -name '.git' | while read repo; do echo "[`dirname $repo`]" >> $MRCONFIG done |