diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2002-10-22 17:24:43 +0000 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2002-10-22 17:24:43 +0000 |
| commit | 9f3c51e3aa40910e103368b309a7775cd7518cf0 (patch) | |
| tree | 8565590f025f03815471873379f57fef709c95d9 /logcheck/ignore.d.workstation/gdm | |
| parent | 7014f849002f4cb260023395cd839eae47e21324 (diff) | |
logcheck: Match only numerical pid numbers (.* is BAD in logcheck!).
Diffstat (limited to 'logcheck/ignore.d.workstation/gdm')
| -rw-r--r-- | logcheck/ignore.d.workstation/gdm | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/logcheck/ignore.d.workstation/gdm b/logcheck/ignore.d.workstation/gdm index 8e1e44e..f85824e 100644 --- a/logcheck/ignore.d.workstation/gdm +++ b/logcheck/ignore.d.workstation/gdm @@ -1,4 +1,4 @@ -gdm\[.*\]: run_pictures: Directory .* does not exist\. -gdm\[.*\]: run_pictures: Mappen .* eksisterer ikke\. -gdm\[.*\]: run_pictures: /usr/share/pixmaps er ikke ejet af uid .*\. -gdm\[.*\]: \(child [0-9]*\) gdm_slave_xioerror_handler: Fatal X-fejl - genstarter [0-9:\.]* +gdm\[[0-9]+\]: run_pictures: Directory .* does not exist\. +gdm\[[0-9]+\]: run_pictures: Mappen .* eksisterer ikke\. +gdm\[[0-9]+\]: run_pictures: /usr/share/pixmaps er ikke ejet af uid .*\. +gdm\[[0-9]+\]: \(child [0-9]*\) gdm_slave_xioerror_handler: Fatal X-fejl - genstarter [0-9:\.]* |