From 7fdf8a5fca92f4c63ccd9c2f60b5f2cd473b93ad Mon Sep 17 00:00:00 2001 From: polytan02 Date: Sat, 24 Dec 2016 11:57:47 +0000 Subject: [PATCH] Git clone to a specific revision - work to be done --- scripts/install | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/install b/scripts/install index 6a78bb3..fd48ed7 100644 --- a/scripts/install +++ b/scripts/install @@ -103,6 +103,9 @@ sudo mkdir -p $final_path #sudo wget -nv -i ../sources/source_url -O $cops_file #sudo md5sum -c ../sources/source_md5 --status || (echo "Corrupt source" >&2 && false) #sudo unzip ${cops_file} -d $final_path +#git clone $URL +#cd $PROJECT_NAME +#git reset --hard $SHA1 # Set permissions sudo chmod 775 -R $final_path