diff options
Diffstat (limited to 'logcheck/ignore.d.server/local')
| -rw-r--r-- | logcheck/ignore.d.server/local | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/logcheck/ignore.d.server/local b/logcheck/ignore.d.server/local index ea7c13d..a4364b6 100644 --- a/logcheck/ignore.d.server/local +++ b/logcheck/ignore.d.server/local @@ -100,6 +100,8 @@ gdm\[[0-9]+\]: run_pictures: Directory [^[:space:]] does not exist\.$ ### ignore.d.server/gdm.da_DK gdm\[[0-9]+\]: Pingning af.* mislykkedes, deaktiver terminal! gdm\[[0-9]+\]: \(child [0-9]+\) gdm_slave_xioerror_handler: Fatal X-fejl - genstarter [0-9:\.]*$ +gdm\[[0-9]+\]: run_pictures: /usr/share/pixmaps er ikke ejet af uid [^[:space:]]\.$ +gdm\[[0-9]+\]: run_pictures: Mappen [^[:space:]] eksisterer ikke\.$ ### ignore.d.server/hotplug /etc/hotplug/net.agent: invoke if(up|down) ppp[0-9]$ /etc/hotplug/net.agent: assuming ppp[0-9] is already up$ |