dgbuilder/git_scripts/gitckout


1
2
3
4
5
6
7
8
9
10
11
12
13
14
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