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')?

