latest as of 01. May 2019, generated from hoijui/master b8d9c41

gocircuit · May 1, 2019 · 9f7a8de · 9f7a8de
1 parent 6529219
commit 9f7a8de
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/generate.sh b/generate.sh
@@ -24,14 +24,17 @@ rm -f css/font/.gitignore
 local_changes=$(git status --porcelain)
 if [ "$commit" = "true" -a "$local_changes" != "" ]
 then
+	echo "Committing ..."
 	git add --all
 	branch_name=$(cd "$escher_repo" ; git rev-parse --abbrev-ref HEAD)
 	remote_and_branch_name=$(cd "$escher_repo" ; git for-each-ref --format='%(upstream:short)' $(git symbolic-ref -q HEAD))
 	commit_description=$(cd "$escher_repo" ; git describe --tags --always)
 	#commit_date=$(cd "$escher_repo" ; git log -1 --format="%at" | xargs -I{} date -d @{} +"%d. %B %Y %H:%M:%S")
 	commit_date=$(cd "$escher_repo" ; git log -1 --format="%at" | xargs -I{} date -d @{} +"%d. %B %Y")
 	#commit_time=$(cd "$escher_repo" ; git log -1 --format="%at" | xargs -I{} date -d @{} +"%H:%M:%S")
-	git commit --quiet --message "latest as of $commit_date, generated from $remote_and_branch_name $commit_description"
-	echo git push --quiet
+	git commit --quiet --message "latest as of $commit_date, generated from $remote_and_branch_name $commit_description" && \
+		git push --quiet && \
+		echo "Pushed!" || \
+		echo "Failed!"
 fi