diff options
Diffstat (limited to 'dgbuilder/git_scripts/gitckout')
| -rwxr-xr-x | dgbuilder/git_scripts/gitckout | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/dgbuilder/git_scripts/gitckout b/dgbuilder/git_scripts/gitckout new file mode 100755 index 00000000..3db9db82 --- /dev/null +++ b/dgbuilder/git_scripts/gitckout @@ -0,0 +1,15 @@ +if [ "$#" != "2" ] +then + echo "Usage $0 commitId full_path_to_the_source_file" + exit +fi +fileName=$(basename $2) +dirName=$(dirname $2) +commitId=$1 +cd $dirName +if [ -e "$2" ] +then + rm $2 2>/dev/null +fi +git checkout $commitId $fileName +cat $fileName |