mirror of
https://github.com/MariaDB/server.git
synced 2025-01-20 05:52:27 +01:00
6547960e28
--- Removed reference to debian svn location of debian dir. Changed verbage of comment to appease Timothy. --- Removed added manpages that aren't appropriate for our build. --- Added debian dir to list of dist targets. Added list of files needed to be distributed in debian dir. --- Added semi-colons to fix syntax error. --- BUG#27769 MySQL should include debian packaing dir Added debian/Makefile to configure.in to support make dist.
28 lines
869 B
Text
28 lines
869 B
Text
# - I put everything in one block and added sharedscripts, so that mysql gets
|
|
# flush-logs'd only once.
|
|
# Else the binary logs would automatically increase by n times every day.
|
|
# - The error log is obsolete, messages go to syslog now.
|
|
/var/log/mysql.log /var/log/mysql/mysql.log /var/log/mysql/mysql-slow.log {
|
|
daily
|
|
rotate 7
|
|
missingok
|
|
create 640 mysql adm
|
|
compress
|
|
sharedscripts
|
|
postrotate
|
|
test -x /usr/bin/mysqladmin || exit 0
|
|
|
|
# If this fails, check debian.conf!
|
|
export HOME=/etc/mysql/my.cnf
|
|
MYADMIN="/usr/bin/mysqladmin --defaults-file=/etc/mysql/debian.cnf"
|
|
if [ -z "`$MYADMIN ping 2>/dev/null`" ]; then
|
|
# Really no mysqld or rather a missing debian-sys-maint user?
|
|
# If this occurs and is not a error please report a bug.
|
|
if ps cax | grep -q mysqld; then
|
|
exit 1
|
|
fi
|
|
else
|
|
$MYADMIN flush-logs
|
|
fi
|
|
endscript
|
|
}
|