Scripts.git - Gitblit

main / Scripts

mirror of https://github.com/Chizi123/Scripts.git

summary
commits
tree
docs
forks
compare

Merge branch 'master' of github.com:Chizi123/Scripts

Joel Grunbaum

2021-08-24 40f5e4e11932669aeb0838612fea9bebd5c5182c

 git-mirror-update.sh

@@ -1,10 +1,9 @@
#!/bin/bash

#GIT_DIRECTORY=/Eduardo/git
GIT_DIRECTORY=/home/joel/Downloads/temp
GIT_DIRECTORY=/Eduardo/git

for d in $GIT_DIRECTORY/*; do
    if ! grep -q "mirror = true" $d/config; then
   git -C $d remote update
    if grep -q "mirror = true" $d/config; then
   git -C "$d" remote update --prune
    fi
done

			@@ -1,10 +1,9 @@
			#!/bin/bash

			#GIT_DIRECTORY=/Eduardo/git
			GIT_DIRECTORY=/home/joel/Downloads/temp
			GIT_DIRECTORY=/Eduardo/git

			for d in $GIT_DIRECTORY/*; do
			if ! grep -q "mirror = true" $d/config; then
			git -C $d remote update
			if grep -q "mirror = true" $d/config; then
			git -C "$d" remote update --prune
			fi
			done