diff options
| author | William Hubbs <w.d.hubbs@gmail.com> | 2017-12-04 17:17:17 -0600 |
|---|---|---|
| committer | William Hubbs <w.d.hubbs@gmail.com> | 2017-12-04 17:17:17 -0600 |
| commit | a2447dfb420cbd97a65cc085404c031d42cb3dfb (patch) | |
| tree | eb6c24f86871ec83a905433323a85a1562d57dee /zsh-completion/Makefile | |
| parent | cee3919908c2d715fd75a796873e3308209a4c2e (diff) | |
rc-service: add --ifcrashed option
This works like the other --if options. If the service is crashed, run
the command.
This fixes #154.
Diffstat (limited to 'zsh-completion/Makefile')
0 files changed, 0 insertions, 0 deletions