diff options
-rwxr-xr-x | gist | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -580,7 +580,7 @@ _clean_repos() { | |||
580 | comm -23 <(find $folder -maxdepth 1 -type d | sed -e '1d; s#.*/##' | sort) \ | 580 | comm -23 <(find $folder -maxdepth 1 -type d | sed -e '1d; s#.*/##' | sort) \ |
581 | <(cut -d' ' -f2 < "$INDEX" | sed -e 's#.*/##' | sort 2> /dev/null ) \ | 581 | <(cut -d' ' -f2 < "$INDEX" | sed -e 's#.*/##' | sort 2> /dev/null ) \ |
582 | | while read -r dir; do | 582 | | while read -r dir; do |
583 | mv $folder/"$dir" /tmp && echo move $folder/"$dir" to /tmp | 583 | mv $folder/"$dir" /tmp && echo $folder/"$dir" is moved to /tmp |
584 | done | 584 | done |
585 | } | 585 | } |
586 | 586 | ||