From c2e3ef1e6336c9d8f078df0d73bf111913f9e750 Mon Sep 17 00:00:00 2001 From: Philipp Le Date: Wed, 1 Jul 2020 23:40:02 +0200 Subject: Replace manually set revision number and date by Git commit number and date (automatically generated) --- gen_vcs_info.sh | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100755 gen_vcs_info.sh (limited to 'gen_vcs_info.sh') diff --git a/gen_vcs_info.sh b/gen_vcs_info.sh new file mode 100755 index 0000000..129ec2c --- /dev/null +++ b/gen_vcs_info.sh @@ -0,0 +1,29 @@ +#!/bin/bash + +SHA1_SHORT=`git rev-parse --short HEAD` +SHA1_LONG=`git rev-parse HEAD` +COMMIT_NO=`git rev-list --count HEAD` +TIME_ISO=`git log -1 --format=%cd --date=iso8601` +TIME_ISO_STRICT=`git log -1 --format=%cd --date=iso8601-strict` +DATE=`git log -1 --format=%cd --date=short` + +if [ -z "$(git status --porcelain)" ]; then + CLEAN="clean" + DIRTY="" + IS_CLEAN="\\def\\VcsIsClean{}" +else + CLEAN="" + DIRTY="dirty" + IS_CLEAN="" +fi + +echo -e "\\def\\VcsCommitHashShort{$SHA1_SHORT} +\\def\\VcsCommitHashLong{$SHA1_LONG} +\\def\\VcsCommitNo{$COMMIT_NO} +\\def\\VcsCommitTime{$TIME_ISO} +\\def\\VcsCommitTimeISO{$TIME_ISO_STRICT} +\\def\\VcsCommitDate{$DATE} +\\def\\VcsCleanStr{$CLEAN} +\\def\\VcsDirtyStr{$DIRTY} +$IS_CLEAN +" -- cgit v1.1