diff options
| author | David Zeuthen <davidz@redhat.com> | 2012-01-18 15:25:22 -0500 |
|---|---|---|
| committer | David Zeuthen <davidz@redhat.com> | 2012-01-18 15:25:25 -0500 |
| commit | 9f2ff580a9995e764076d3702538c465d7d687e4 (patch) | |
| tree | f2fa852b36369ba5f385dd30c075abbf0a48191f /monitor | |
| parent | 861bfc5b900c620e85752f047bc76739c1f8af9c (diff) | |
| download | gvfs-9f2ff580a9995e764076d3702538c465d7d687e4.tar.gz | |
Fix typo
Signed-off-by: David Zeuthen <davidz@redhat.com>
Diffstat (limited to 'monitor')
| -rw-r--r-- | monitor/udisks2/what-is-shown.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/monitor/udisks2/what-is-shown.txt b/monitor/udisks2/what-is-shown.txt index 6e39000f..ee440bdf 100644 --- a/monitor/udisks2/what-is-shown.txt +++ b/monitor/udisks2/what-is-shown.txt @@ -16,7 +16,8 @@ A device is either mounted (in which case its directory is known) or it's not. If the device is not mounted, then its directory is known only if it's referenced in the /etc/fstab file. Similarly, the options for a device is either the options the device is currently mounted -with, or if not mounted, the options from its /etc/fstab if any. +with, or if not mounted, the options from its /etc/fstab entry, if +any. If the directory for a device is known and outside /media, $HOME (typically /home/foo) or $XDG_RUNTIME_DIR (typically /run/user/foo) |