diff options
| author | Thomas Leonard <tal@ecs.soton.ac.uk> | 2003-10-15 10:28:06 +0000 |
|---|---|---|
| committer | Thomas Leonard <tal@ecs.soton.ac.uk> | 2003-10-15 10:28:06 +0000 |
| commit | 477303f6ec17569f7b9086ecb17f33b3f0a40ff6 (patch) | |
| tree | a96d00e9bc1a89851e7cfac44c99e4b1d40db8e7 /shared-mime-info-spec.xml | |
| parent | e409145aa5b395fb5f3bbd87f1188e331f11bd5a (diff) | |
| download | shared-mime-info-477303f6ec17569f7b9086ecb17f33b3f0a40ff6.tar.gz | |
Explain how to detect mount points.
Diffstat (limited to 'shared-mime-info-spec.xml')
| -rw-r--r-- | shared-mime-info-spec.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/shared-mime-info-spec.xml b/shared-mime-info-spec.xml index f32f25b9..e1ec7c94 100644 --- a/shared-mime-info-spec.xml +++ b/shared-mime-info-spec.xml @@ -594,7 +594,10 @@ to the standard types of object found in a Unix filesystem: </simplelist> <para> An inode/mount-point is a subclass of inode/directory. It can be useful when adding extra -actions for these directories, such as 'mount' or 'eject'. +actions for these directories, such as 'mount' or 'eject'. Mounted directories can be +detected by comparing the 'st_dev' of a directory with that of its parent. If +they differ, they are from different devices and the directory is a mount +point. </para> </sect2> <sect2> |