diff options
| -rw-r--r-- | src/cmd/install.sh | 4 | ||||
| -rw-r--r-- | src/cmd/installer-pc.sh | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/src/cmd/install.sh b/src/cmd/install.sh index 097250a..c96f014 100644 --- a/src/cmd/install.sh +++ b/src/cmd/install.sh @@ -50,7 +50,9 @@ cmd_install_main() else profile='proteanos' fi - profile_set "${profile}" + if ! profile_set "${profile}"; then + return 2 + fi suite="$(profile_normalize_suite "${suite}")" if [ "x${cmd_install_opt_F+set}" = 'xset' ]; then diff --git a/src/cmd/installer-pc.sh b/src/cmd/installer-pc.sh index 0ecca4b..76112d2 100644 --- a/src/cmd/installer-pc.sh +++ b/src/cmd/installer-pc.sh @@ -60,7 +60,9 @@ cmd_installer_pc_main() else profile='proteanos' fi - profile_set "${profile}" + if ! profile_set "${profile}"; then + return 2 + fi suite="$(profile_normalize_suite "${suite}")" cmd_installer_pc_make_partition_and_fs "${dev}" |