diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/checks/un_blkid | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/debian/checks/un_blkid b/debian/checks/un_blkid new file mode 100644 index 0000000..ef98fc8 --- /dev/null +++ b/debian/checks/un_blkid @@ -0,0 +1,27 @@ +#!/bin/sh +# this script depends on /sbin/blkid from the util-linux package + +# usage: un_blkid <device> <fs_type> +# <device> may be any device that should be checked. +# if no <fs_type> is given, the check fails for any valid filesystem +# if <fs_type> is given, the check fails when a filesystem type <fs_type> +# is found on the device. + +if test ! -x "/sbin/blkid"; then + echo " - WARNING: blkid from util-linux is not available, impossible to run checks." + exit 1 +fi + +dev="$1" +fs="$2" + +blkid="$(/sbin/blkid -o value -s TYPE -p -- "$dev")" + +# blkid output is empty if $dev has an unknown filesystem +if [ -n "$blkid" ] && [ -z "$fs" ]; then + echo " - The device $dev contains a filesystem type $blkid." + exit 1 +elif [ -n "$fs" ] && [ "$blkid" = "$fs" ]; then + echo " - The device $dev contains a filesystem type $fs." + exit 1 +fi |