#!/bin/sh
for i in $*
do
  b=$(basename $i)
  if [ "$b" = "prod" ]
  then
    # Remplacer le chemin par celui utilisé par le serveur web pour
    # la version en production
    GIT_WORK_TREE=/srv/monsiteweb/www/ git checkout -f $b
  fi
  if [ "$b" = "dev" ]
  then
    # Remplacer le chemin par celui utilisé par le serveur web pour
    # la version en développement
    GIT_WORK_TREE=/srv/monsiteweb/www-dev/ git checkout -f $b
  fi
done