Make sure to exit the script after update is done.

master
Icedream 2018-02-19 09:56:15 +01:00
parent 060551a8c4
commit 2158cf37bd
Signed by: icedream
GPG Key ID: 1573F6D8EFE4D0CF
1 changed files with 3 additions and 1 deletions

View File

@ -44,7 +44,9 @@ fi
if file_changed "${HOME}/bin/update-profile" "home/bin/update-profile"; then if file_changed "${HOME}/bin/update-profile" "home/bin/update-profile"; then
# Use new profile update script instead # Use new profile update script instead
_CHECKOUT_DONE=1 home/bin/update-profile # Putting exit 0 on same line here for security since the old script
# will be deleted.
_CHECKOUT_DONE=1 home/bin/update-profile && exit 0
fi fi
fi fi