同意。这种小事当然不值得分散用户的注意力。
Agree. Certainly too trivial to clutter the user's attention with.
我改成了每 30 分钟一次。
I changed it to every 30 minutes.
如果我把频率提高到每 10 分钟一次，它在日志文件中占的篇幅仍然不大。问题只在于 grep 时输出会不会比用户想要的多。
If I increased it to every 10 minutes, it would still be a small enough presence in the log file. Question is whether that would be more output than the user wants when they grep.
当前版本尚未建立逐条校对状态记录。来源核验、历史审校与当前译文校对是不同事项。
译文内容版本：8636c9c1b693。用于比对文本，不代表校对等级或更新时间。
请填写对应原文、现译文、建议译法和理由。复制后通过你联系本站作者的渠道提交；此处不会自动发送。
