fix(webinstall): Ask to create directory path before installing (unik…

…raft#765)

Reviewed-by: Alexander Jung <alex@unikraft.io>
Approved-by: Alexander Jung <alex@unikraft.io>

tools/webinstall/install.sh

@@ -45,6 +45,7 @@ YUM=${YUM:-yum}
 APT=${APT:-apt-get}
 APK=${APK:-apk}
 MAKEPKG=${MAKEPKG:-makepkg}
+MKDIR=${MKDIR:-mkdir}
 GIT=${GIT:-git}
 TAR=${TAR:-tar}
 PACMAN=${PACMAN:-pacman}
@@ -1162,6 +1163,19 @@ install_linux_manual() {
         err "fatal: choose either yes or no."
     fi
 
+    if [ ! -d "$PREFIX" ]; then
+        get_user_response "prefix does not exist, create? [y/N]: " "n"
+        _ill_answer="$_RETVAL"
+
+        if printf "%s" "$_ill_answer" | "$GREP" -q -E "$_NO_ANS_DEFAULT"; then
+            err "fatal: prefix does not exist."
+        elif printf "%s" "$_ill_answer" | "$GREP" -q -E "$_YES_ANS"; then
+            do_cmd "$MKDIR -p $PREFIX"
+        else
+            err "fatal: choose either yes or no."
+        fi
+    fi
+
     _ill_binary="kraft"
     _ill_archive="kraftkit.tar.gz"
     downloader "$_ill_url" "$_ill_archive" "$_ill_arch"