Outils pour utilisateurs

Outils du site


git

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

git [2015/08/18 11:16] (Version actuelle)
Ligne 1: Ligne 1:
 +Liste des répertoires contenant des dépôts git et l'​adresse du dépôt principal :
 +
 +for i in $(find /home/pec/ -name config | grep .git); do echo "$i $(cat $i | grep "url =" | perl -ne '​$_=~s/​^(.*?​)(https.*)$/​$2/;​print $_'​)"​ | sed '​s/​\/​.git\/​config//​g';​ done
  
git.txt · Dernière modification: 2015/08/18 11:16 (modification externe)