diff --git a/post-xxx-sample.txt b/post-xxx-sample.txt index d9e6ddb..9dc772f 100644 --- a/post-xxx-sample.txt +++ b/post-xxx-sample.txt @@ -10,6 +10,8 @@ FIRSTTAG=$(git describe --tags --always --dirty='-*' 2>/dev/null) # Get the first tag in history that looks like a Release RELTAG=$(git describe --tags --long --always --dirty='-*' --match '[0-9]*.*' 2>/dev/null) +# Get the path where gitHeadInfo.gin shall be put +GINDIR=$(git rev-parse --git-dir 2>/dev/null) # Hoover up the metadata git --no-pager log -1 --date=short --decorate=short \ --pretty=format:"\usepackage[% @@ -28,4 +30,4 @@ git --no-pager log -1 --date=short --decorate=short \ refnames={%d}, firsttagdescribe={$FIRSTTAG}, reltag={$RELTAG} - ]{gitexinfo}" HEAD > .git/gitHeadInfo.gin + ]{gitexinfo}" HEAD > $GINDIR/gitHeadInfo.gin