diff options
Diffstat (limited to 'src/pmie/examples/disk.20')
| -rw-r--r-- | src/pmie/examples/disk.20 | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/pmie/examples/disk.20 b/src/pmie/examples/disk.20 new file mode 100644 index 0000000..ec086e5 --- /dev/null +++ b/src/pmie/examples/disk.20 @@ -0,0 +1,13 @@ +// +// Assume the / and /usr file systems are on different partitions +// of the same disk (/dev/dsk0d1 in the example below). +// Add an entry to the file $PCP_LOG_DIR/NOTICES when this disk is +// busy and either of the file systems is more than 90% full. +// +// Suggestion from: Steve Daniels (steve@houdini.denver.sgi.com) + +delta = 60; + +( filesys.full #'/dev/root' > 90 || filesys.full #'/dev/usr' > 90 ) +&& disk.dev.total #'dks0d1' > 40 count/sec + -> shell 15min "/usr/pcp/bin/pmpost 'dks0d1 busy when / or /usr nearly full'"; |