src/update-metadata-for-gitinfo

   1 #!/bin/sh
   2
   3 GITINFO_INDEX_FILENAME="gitHeadInfo.gin"
   4 GITINFO_GIT_LOG_PRETTY_FORMAT=$(cat <<'__EOS__'
   5 \usepackage[%
   6         shash={%h},
   7         lhash={%H},
   8         authname={%an},
   9         authemail={%ae},
  10         authsdate={%ad},
  11         authidate={%ai},
  12         authudate={%at},
  13         commname={%an},
  14         commemail={%ae},
  15         commsdate={%ad},
  16         commidate={%ai},
  17         commudate={%at},
  18         refnames={%d}
  19 ]{gitsetinfo}
  20 __EOS__
  21 )
  22
  23 git log -1 --date=short \
  24                 --pretty=format:"${GITINFO_GIT_LOG_PRETTY_FORMAT}" \
  25                 HEAD  > ./${GITINFO_INDEX_FILENAME}
  26
  27