Skip to main content

Browse the archive

https://github.com/ederc/Sources
05 April 2020, 01:51:32 UTC
Revision 51d228924691fa6b39f5a666fa1fd5125f7ff770 authored by Hans Schoenemann on 31 May 2019, 15:15:19 UTC, committed by Hans Schoenemann on 31 May 2019, 15:15:19 UTC 
Merge branch 'ederc-local-z' into spielwiese
2 parent s 177e747 + 6581520
Raw File
Tip revision: 51d228924691fa6b39f5a666fa1fd5125f7ff770 authored by Hans Schoenemann on 31 May 2019, 15:15:19 UTC
Merge branch 'ederc-local-z' into spielwiese
Tip revision: 51d2289
git-version-gen 
#!/bin/bash

export GIT_WORK_TREE=`dirname "$0"`
export GIT_DIR="$GIT_WORK_TREE/.git"

## :'%h on %ci by %an: "%s"' --abbrev-commit | sed 's/\"/\\\"/g'
if [ -d "$GIT_WORK_TREE/.git" ] && v=`git log --pretty=format:'%h' --abbrev-commit -1 2>/dev/null` ;
then
 if dirty=`sh -c "git diff-index --name-status HEAD 2>/dev/null | sed -e 's|^\([A-Z]\).*|\1|g' | tr -d '\012'"` && [ -n "$dirty" ];
 then
   echo -n "$v|$dirty"
 else
   echo -n "$v"
 fi
# exit 0
else
 F="$1"
 if [ -r "$F" ];
 then
   cat "$F"
 else
   echo -n "UNKNOWN_GIT_VERSION"
 fi
fi
back to top