Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
technical:whitepaper:automated_devshm_cleanup [2018-12-12 15:53] – [Implementation] frey | technical:whitepaper:automated_devshm_cleanup [2018-12-13 13:02] (current) – [Implementation] frey | ||
---|---|---|---|
Line 69: | Line 69: | ||
usage: shm-cleanup.py [-h] [-v] [-q] [-n] [--show-log-timestamps] | usage: shm-cleanup.py [-h] [-v] [-q] [-n] [--show-log-timestamps] | ||
[--age < | [--age < | ||
- | [--log-file < | + | [--log-file < |
+ | [--daemon-period < | ||
Cleanup /dev/shm | Cleanup /dev/shm | ||
Line 93: | Line 94: | ||
send all logging to this file instead of to stderr; | send all logging to this file instead of to stderr; | ||
timestamps are always enabled when logging to a file | timestamps are always enabled when logging to a file | ||
+ | --daemon | ||
+ | --daemon-period < | ||
+ | wake to re-check on the given period; integer or | ||
+ | floating-point values are acceptable with optional | ||
+ | unit of s/m/h/d (default: s) | ||
+ | --pid-file < | ||
+ | in daemon mode, write our pid to this file (default: | ||
+ | / | ||
</ | </ | ||
+ | |||
+ | On systems that lack cron (or a similar timed-execution mechanism), the '' |