diff options
author | Chris Akritidis <43294513+cakrit@users.noreply.github.com> | 2019-01-21 18:39:32 +0100 |
---|---|---|
committer | Costa Tsaousis <costa@tsaousis.gr> | 2019-01-21 19:39:32 +0200 |
commit | f684729c58a48e09562a2abf4837ed040e3188a5 (patch) | |
tree | 3911756be4eaa3fc01d297844da81dd5e7c39040 /packaging/installer/kickstart.sh | |
parent | de6ab0879b57de3743a712c4918c9c483ef9c0c9 (diff) |
Fix check for install-required-packages.sh (#5241)
Fixes #5240
Diffstat (limited to 'packaging/installer/kickstart.sh')
-rwxr-xr-x | packaging/installer/kickstart.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/packaging/installer/kickstart.sh b/packaging/installer/kickstart.sh index dedd296240..e4ed540901 100755 --- a/packaging/installer/kickstart.sh +++ b/packaging/installer/kickstart.sh @@ -227,7 +227,8 @@ else warning "Downloaded dependency installation script is empty." else progress "Running downloaded script to detect required packages..." - if run ${sudo} "${bash}" "${tmpdir}/install-required-packages.sh" ${PACKAGES_INSTALLER_OPTIONS}; then + run ${sudo} "${bash}" "${tmpdir}/install-required-packages.sh" ${PACKAGES_INSTALLER_OPTIONS} + if [ $? -ne 0 ] ; then warning "It failed to install all the required packages, but installation might still be possible." fi fi |