Re: Custom partition layout corrupts install ? +MFS question

On Aug 12 15:43:36, [email protected] wrote:
> # Adjust permissions for /tmp if it is on an mfs filesystem
> /bin/df -t mfs /tmp/ > /dev/null 2> /dev/null && { echo "/tmp on mfs, setting permissons to 1777" ; chmod 1777 /tmp/ ; }

It's a pitty that mount -s does not accept -t as well,
as in "mount -s -t mfs /tmp"; I assume that's why you call df.
Is there a more elegant way to check if a given filesystem type
is mounted on the given dir (besides parsing the textual output
of course, as in mount -s | grep -F 'on /tmp type mfs')?