mirror of
https://github.com/YunoHost-Apps/framagames_ynh.git
synced 2024-09-03 18:36:28 +02:00
Download of the sources
This commit is contained in:
parent
7fdf8a5fca
commit
6985d5a551
2 changed files with 25 additions and 13 deletions
|
@ -98,14 +98,20 @@ ynh_app_setting_set "$app" finalphpconf "$finalphpconf"
|
||||||
# Creation of folder
|
# Creation of folder
|
||||||
sudo mkdir -p $final_path
|
sudo mkdir -p $final_path
|
||||||
|
|
||||||
# We download the sources and check the md5sum
|
# We download the sources and go to latest revision
|
||||||
#cops_file=`sudo cat ../sources/source_file`;
|
sudo rm -rf ./gitsources
|
||||||
#sudo wget -nv -i ../sources/source_url -O $cops_file
|
sudo mkdir gitsources
|
||||||
#sudo md5sum -c ../sources/source_md5 --status || (echo "Corrupt source" >&2 && false)
|
# We get the repository address
|
||||||
#sudo unzip ${cops_file} -d $final_path
|
URL=`sudo cat ../sources/source_url`;
|
||||||
#git clone $URL
|
sudo git clone $URL gitsources
|
||||||
#cd $PROJECT_NAME
|
# We reset to the latest known revision
|
||||||
#git reset --hard $SHA1
|
sudo cd gitsources
|
||||||
|
SHA1=`sudo cat ../sources/source_sha1`;
|
||||||
|
git reset --hard $SHA1
|
||||||
|
sudo cd ..
|
||||||
|
|
||||||
|
# We copy the sources to the destination
|
||||||
|
sudo cp -a gitsources/* $final_path
|
||||||
|
|
||||||
# Set permissions
|
# Set permissions
|
||||||
sudo chmod 775 -R $final_path
|
sudo chmod 775 -R $final_path
|
||||||
|
|
|
@ -31,11 +31,17 @@ finalphpconf=$(ynh_app_setting_get $app finalphpconf)
|
||||||
sudo rm -rf $final_path
|
sudo rm -rf $final_path
|
||||||
sudo mkdir -p $final_path
|
sudo mkdir -p $final_path
|
||||||
|
|
||||||
# We download the sources and check the md5sum
|
# We download the sources and go to latest revision
|
||||||
#cops_file=`sudo cat ../sources/source_file`;
|
sudo rm -rf ./gitsources
|
||||||
#sudo wget -nv -i ../sources/source_url -O $cops_file
|
sudo mkdir gitsources
|
||||||
#sudo md5sum -c ../sources/source_md5 --status || (echo "Corrupt source" >&2 && false)
|
# We get the repository address
|
||||||
#sudo unzip ${cops_file} -d $final_path
|
URL=`sudo cat ../sources/source_url`;
|
||||||
|
sudo git clone $URL gitsources
|
||||||
|
# We reset to the latest known revision
|
||||||
|
sudo cd gitsources
|
||||||
|
SHA1=`sudo cat ../sources/source_sha1`;
|
||||||
|
git reset --hard $SHA1
|
||||||
|
sudo cd ..
|
||||||
|
|
||||||
# Set permissions
|
# Set permissions
|
||||||
sudo chmod 775 -R $final_path
|
sudo chmod 775 -R $final_path
|
||||||
|
|
Loading…
Reference in a new issue