Mirrors/dokku
1
0
Fork 0
mirror of https://github.com/dokku/dokku.git synced 2025-12-29 00:25:08 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1800 from dokku/josegonzalez-patch-1

Browse Source 
Respect DOKKU_ROOT in debian/postint
This commit is contained in:
Jose Diaz-Gonzalez
2015-12-23 03:59:16 -05:00
parent dd0d0a3873 6fbe8cabde
commit eecd262eff
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
debian/postinst vendored
View File

@@ -46,8 +46,8 @@ case "$1" in
dokku plugin:install --core
rm -f /home/dokku/VERSION
cp /var/lib/dokku/STABLE_VERSION /home/dokku/VERSION
rm -f ${DOKKU_ROOT}/VERSION
cp /var/lib/dokku/STABLE_VERSION ${DOKKU_ROOT}/VERSION
if [ -f /etc/init/dokku-installer.conf ] && service dokku-installer status 2> /dev/null | grep waiting; then
sudo service dokku-installer start