Prune old history files?

[neingeist]

My history files used up >600 MB of precious SSD space. Maybe apt-dater could have a setting to prune old history files automatically?

For now, I use this script:

#!/bin/sh
# Prune old apt-dater history
MTIME=+365

find ~/.local/share/apt-dater/history -name meta -mtime $MTIME -exec dirname {} \; | while read history_dir; do
  # We are too squeamish to just use rm -rf
  rm -f "$history_dir"/{command,meta,timingfile,typescript,failed}
  rmdir "$history_dir"
done