Admin/Mercurial/logrotate.conf
author haftmann
Tue, 12 May 2009 19:30:33 +0200
changeset 31125 80218ee73167
parent 28000 ca56bbb99607
permissions -rw-r--r--
transferred code generator preprocessor into separate module
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27464
3640865d4a38 logrotate setup;
wenzelm
parents:
diff changeset
     1
# $Id$
3640865d4a38 logrotate setup;
wenzelm
parents:
diff changeset
     2
28000
ca56bbb99607 replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos;
wenzelm
parents: 27464
diff changeset
     3
/home/isabelle-repository/repos/log {
27464
3640865d4a38 logrotate setup;
wenzelm
parents:
diff changeset
     4
  compress
3640865d4a38 logrotate setup;
wenzelm
parents:
diff changeset
     5
  nomail
3640865d4a38 logrotate setup;
wenzelm
parents:
diff changeset
     6
  daily
3640865d4a38 logrotate setup;
wenzelm
parents:
diff changeset
     7
  rotate 5
3640865d4a38 logrotate setup;
wenzelm
parents:
diff changeset
     8
}