diff options
| author | Pádraig Brady <P@draigBrady.com> | 2016-03-31 16:34:28 +0100 |
|---|---|---|
| committer | Pádraig Brady <P@draigBrady.com> | 2016-03-31 16:38:17 +0100 |
| commit | d33f1fbd671c58df453ce24446174d8c5ce4a355 (patch) | |
| tree | 2c014e10b3c48622690583af08bcbfb11ae443fa /src/stat.c | |
| parent | df88fce71651afb2c3456967a142db0ae4bf9906 (diff) | |
| download | coreutils-d33f1fbd671c58df453ce24446174d8c5ce4a355.tar.xz | |
stat: report type for "prl_fs" file systems
* src/stat.c (human_fstype): Identify the parallels file system.
Also tag as remote so that tail(1) doesn't use inotify, which
fails to detect changes made outside a VM.
Fixes http://bugs.gnu.org/23143
Diffstat (limited to 'src/stat.c')
| -rw-r--r-- | src/stat.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/stat.c b/src/stat.c index 1742ff128..4d7ead302 100644 --- a/src/stat.c +++ b/src/stat.c @@ -403,9 +403,11 @@ human_fstype (STRUCT_STATVFS const *statfsbuf) return "panfs"; case S_MAGIC_PIPEFS: /* 0x50495045 remote */ /* FIXME: change syntax or add an optional attribute like "inotify:no". - The above is labeled as "remote" so that tail always uses polling, - but this isn't really a remote file system type. */ + pipefs and prlfs are labeled as "remote" so that tail always polls, + but these aren't really remote file system types. */ return "pipefs"; + case S_MAGIC_PRL_FS: /* 0x7C7C6673 remote */ + return "prl_fs"; case S_MAGIC_PROC: /* 0x9FA0 local */ return "proc"; case S_MAGIC_PSTOREFS: /* 0x6165676C local */ |