aboutsummaryrefslogtreecommitdiffstats
path: root/dgbuilder/git_scripts/gitckout
blob: 3db9db823a09bc7e53516e2e1cc1168d6839b653 (plain)
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