This may seem like an inconsequential, overly specific topic, but I'm posting here because - following a couple 'net searches - I observed a dearth of helpful information on MySQL server log file rotation. All the resources I found on the topic essentially said:
- Use logrotate(8) -- 95% of the hits I found; or
- Use "some_contrived_steps, not explained well" -- the other 5%
So I am sharing my own contrived steps here. There's nothing wrong with logrotate(8), in particular, but...