* Rich <ri...@example.invalid>
% file stat / tmp ; puts $tmp(dev)
2050
% file stat /home tmp ; puts $tmp(dev)
39
% file stat /home/user tmp ; puts $tmp(dev)
39
/homes is indeed mounted from the remote file server...
% file stat /data tmp ; puts $tmp(dev)
2050
% file stat /data/hdd tmp ; puts $tmp(dev)
2065
% file stat /data/ssd tmp ; puts $tmp(dev)
2051
These are locally mounted from different discs.
If "local vs remote mount" is important (rather than just "different
file system") I guess there is no way of distinguishing local vs remote
mounts short of parsing 'mount' output (or the equivalent in
/proc/mounts)? On windows I could ask "net use", or some registry
setting...
R'