revert-jprojects.sh

   1 #!/bin/bash
   2
   3 . ./.jprojects.sh || exit 255
   4
   5 for project in ${LIST}; do
   6         if [ ! -d "${JPROJECTS_HOME}/${project}" ]
   7         then
   8                 continue
   9         fi
  10
  11         echo "$0: Reverting '${project}' ..."
  12         cd "${JPROJECTS_HOME}/${project}"
  13         git reset --hard
  14 done
  15
  16 echo "$0: All done."
  17 exit 0