equal
deleted
inserted
replaced
19 |
19 |
20 mkdir -p /vagrant/dist |
20 mkdir -p /vagrant/dist |
21 pushd /vagrant/dist > /dev/null |
21 pushd /vagrant/dist > /dev/null |
22 echo "---> Launching packaging" |
22 echo "---> Launching packaging" |
23 rm -f *.rpm |
23 rm -f *.rpm |
24 |
|
25 popd > /dev/null |
|
26 |
24 |
27 version=$(grep -oP "\'version\'\s*=>\s*\'\K[\.0-9]+(?=\')" /vagrant/root/var/www/corpusdelaparole/corpus-back/config/version.php) |
25 version=$(grep -oP "\'version\'\s*=>\s*\'\K[\.0-9]+(?=\')" /vagrant/root/var/www/corpusdelaparole/corpus-back/config/version.php) |
28 version=${version:-0.0.0} |
26 version=${version:-0.0.0} |
29 |
27 |
30 fpm \ |
28 fpm \ |
50 --after-upgrade /vagrant/post_upgrade.sh \ |
48 --after-upgrade /vagrant/post_upgrade.sh \ |
51 --before-upgrade /vagrant/pre_upgrade.sh \ |
49 --before-upgrade /vagrant/pre_upgrade.sh \ |
52 . |
50 . |
53 |
51 |
54 echo "---> Packaging done" |
52 echo "---> Packaging done" |
|
53 |
|
54 popd > /dev/null |
|
55 |