Enable log rotation to avoid running out of disk space

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

6 stars 2 forks source link

Enable log rotation to avoid running out of disk space #1085

Closed podhrmic closed 3 years ago

podhrmic commented 3 years ago

Currently, the logs take around 1.5 GB/week. Which means we could run out of disk space in several weeks of uptime. Add log-rotation to avoid this possibility.

podhrmic commented 3 years ago

@dmzimmerman would you mind adding the proper logrotate config?

podhrmic commented 3 years ago

A second task is to add NoRsyslog debian into https://github.com/GaloisInc/BESSPIN-LFS/tree/develop

How?

In nix-shell do:

$ env | grep RSYSLOG
BESSPIN_GFE_DEBIAN_VCU118_NO_RSYSLOG=/nix/store/mvxi42b5ydax0x44msffn7hinwqdq75k-riscv-bbl

and then upload the resulting OS image as debian_noRsyslog.elf into GFE/osImages/vcu118 folder

dmzimmerman commented 3 years ago

Yup, I'll take care of both of these.

podhrmic commented 3 years ago

Seems like using the noRsyslog image solved the problem - after 16 hours of uptime, the disk usage looks the same as right after boot (solid 30%). Or do you still want to add the proper log rotation config?

dmzimmerman commented 3 years ago

I don't think there's any need for it at this point.