-for ENTRY in ${LIST}; do
- echo "$0: Pushing '${ENTRY}' ..."
- cd "${ENTRY}" || exit 255
- git push --all
- if [ "$1" = "u" ]
+TARGETS="d t u"
+
+if [ "$1" = "a" ]
+then
+ cd "${JPROJECTS_HOME}"
+ for TARGET in ${TARGETS}; do
+ echo "$0: Pushing for target '${TARGET}' ..."
+ $0 "${TARGET}" "1"
+ done
+
+ echo "$0: Pushed to all targets."
+ exit 0
+fi
+
+for project in ${LIST}; do
+ if [ ! -d "${JPROJECTS_HOME}/${project}" ]