flawed functions easily fixed: is_a_partition and has_mount_option

[xuancong84]

The script assumes that all mounted devices are present in /etc/fstab which is NOT true. For example, /dev/shm (same as /run/shm) is usually not present in /etc/fstab, but it is mounted with correct options during system startup. Maybe it is mounted during some earlier-stage boot, e.g., initrd.img

Solution: replace the following lines in lib/utils.sh:

if [ ! -f /etc/fstab ] || [ -z "$(sed '/^#/d' /etc/fstab)" ]; then

by:

if [ ! "`grep $PARTITION /etc/fstab`" ]; then