build/build_rpm.sh
changeset 384 5598bad67f8d
parent 383 82a3db4b1d39
child 407 2dba812c7ef2
equal deleted inserted replaced
383:82a3db4b1d39 384:5598bad67f8d
    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