From 47e6e7c84f008a53061e661f31ae96629bc694ef Mon Sep 17 00:00:00 2001 From: Igor Pashev Date: Sun, 26 Oct 2014 12:33:50 +0400 Subject: Debian 3.9.10 --- src/pmie/examples/disk.20 | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 src/pmie/examples/disk.20 (limited to 'src/pmie/examples/disk.20') 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'"; -- cgit v1.2.3