Update en batch

Mettre à jour, en une seule opération, tous les dépôts locaux

https://gist.github.com/douglas/1287372

Le script, placé dans le dossier c:\christophe\repository va scanner tous les sous-dossiers et s’il trouve un dossier .git (et donc s’il s’agit d’un dépôt Git), va lancer la mise à jour des dépôts les uns après les autres.

Super pratique. Fonctionne même sous Windows 10.

# !/bin/bash

# store the current dir
CUR_DIR=$(pwd)

# Let the person running the script know what's going on.
echo "\n\033[1mPulling in latest changes for all repositories...\033[0m\n"

# Find all git repositories and update it to the master latest revision
for i in $(find . -name ".git" | cut -c 3-); do
    echo "";
    echo "\033[33m"+$i+"\033[0m";

    # We have to go to the .git parent directory to call the pull command
    cd "$i";
    cd ..;

    # finally pull
    git pull origin master;

    # lets get back to the CUR_DIR
    cd $CUR_DIR
done

echo "\n\033[32mComplete!\033[0m\n"