24 lines
500 B
Bash
24 lines
500 B
Bash
|
#!/bin/bash -x
|
||
|
|
|
||
|
|
# Usage: $0 project_name url sha1
|
||
|
|
# Get the crate with the specified sha1.
|
||
|
|
#
|
||
|
|
# all arguments are required.
|
||
|
|
#
|
||
|
|
# See below link for git usage:
|
||
|
|
# https://stackoverflow.com/questions/3489173/how-to-clone-git-repository-with-specific-revision-changeset/14091182#14091182
|
||
|
|
|
||
|
|
# Mandatory arguments:
|
||
|
|
PROJECT_NAME=$1
|
||
|
|
URL=$2
|
||
|
|
SHA1=$3
|
||
|
|
|
||
|
|
function err_exit() {
|
||
|
|
echo "ERROR:" $*
|
||
|
|
exit 1
|
||
|
|
}
|
||
|
|
|
||
|
|
git clone $URL $PROJECT_NAME || err_exit
|
||
|
|
cd $PROJECT_NAME || err_exit
|
||
|
|
git reset --hard $SHA1 || err_exit
|