summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGerardo Exequiel Pozzi <vmlinuz386@yahoo.com.ar>2011-11-28 10:35:05 -0300
committerGerardo Exequiel Pozzi <vmlinuz386@yahoo.com.ar>2011-11-28 10:35:05 -0300
commite135003c13aef15abc78562a3ab17fa41c0330cc (patch)
tree81e720d780b65eb90493b78991d51918753fbbe2
parentbaf0ae0013618f56f53ab94e55b83b0a1efc88f6 (diff)
[archiso] simplify _mnt_dev() (mount is now from util-linux)
Signed-off-by: Gerardo Exequiel Pozzi <vmlinuz386@yahoo.com.ar>
-rw-r--r--archiso/hooks/archiso19
1 files changed, 3 insertions, 16 deletions
diff --git a/archiso/hooks/archiso b/archiso/hooks/archiso
index ae17d40..5d9e5df 100644
--- a/archiso/hooks/archiso
+++ b/archiso/hooks/archiso
@@ -98,8 +98,6 @@ _mnt_dev() {
local mnt="${2}"
local flg="${3}"
- local fstype fserror
-
mkdir -p "${mnt}"
msg ":: Mounting '${dev}' to '${mnt}'"
@@ -111,21 +109,10 @@ _mnt_dev() {
launch_interactive_shell
done
- fstype=$(blkid -o value -s TYPE -p "${dev}" 2> /dev/null)
- if [[ -n "${fstype}" ]]; then
- if mount ${flg} -t "${fstype}" "${dev}" "${mnt}"; then
- msg ":: Device '${dev}' mounted successfully."
- fserror=0
- else
- echo "ERROR; Failed to mount '${dev}' (FS is ${fstype})"
- fserror=1
- fi
+ if mount "${flg}" "${dev}" "${mnt}"; then
+ msg ":: Device '${dev}' mounted successfully."
else
- echo "ERROR: '${dev}' found, but the filesystem type is unknown."
- fserror=1
- fi
-
- if [[ ${fserror} -eq 1 ]]; then
+ echo "ERROR; Failed to mount '${dev}'"
echo " Falling back to interactive prompt"
echo " You can try to fix the problem manually, log out when you are finished"
launch_interactive_shell