mirror of https://github.com/Chizi123/Scripts.git
parent: 3413cfb3 | patch | commit | ignore whitespace
Joel Grunbaum
2021-07-13 a857671265d7a70996311c9a106bc79a8b52b37c 
Changed commented line
1 files modified
3 ■■■■■ changed files
git-mirror-update.sh 3 ●●●●● patch | view | raw | blame | history 
 git-mirror-update.sh

old mode 100755
new mode 100644

@@ -1,7 +1,6 @@


#!/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