| 1234567891011121314151617 | echo "pull /cnt/ ..."
cd cnt
git pull
echo "... done (pulling /cnt/)"
echo ""
echo "pull /pruefungen/ ..."
cd ../pruefungen
git pull
echo "... done (pulling /pruefungen/)"
echo ""
echo "pull /framework/ ..."
cd ../framework
git pull
echo "... done (pulling /framework/)"
echo ""
 |