Searched refs:ACTUAL_DEVICE (Results 1 – 1 of 1) sorted by relevance
43 ACTUAL_DEVICE=`readlink -f $DEVICE`44 DEV=`basename $ACTUAL_DEVICE`45 if [ "$ACTUAL_DEVICE" != "$DEVICE" ] ; then46 echo " device: $DEVICE -> $ACTUAL_DEVICE"133 ACTUAL_DEVICE=$DEVICE135 ACTUAL_DEVICE=`readlink -f $DEVICE`137 if is_mounted $ACTUAL_DEVICE ; then142 if is_inuse $ACTUAL_DEVICE ; then