diff options
Diffstat (limited to 'bin/hornet/update-mail')
-rwxr-xr-x | bin/hornet/update-mail | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bin/hornet/update-mail b/bin/hornet/update-mail new file mode 100755 index 0000000..8149a8d --- /dev/null +++ b/bin/hornet/update-mail @@ -0,0 +1,11 @@ +#!/bin/sh +set -eu +set -o pipefail + +stat=$(svstat "$HOME/.services/enabled/offlineimap") +if echo "$stat" | grep -q "offlineimap: down"; then + echo "no offlineimap process running" >&2 + exit 1 +fi +pid=$(echo "$stat" | sed 's/.*offlineimap: up (pid \([[:digit:]]\+\)).*/\1/') +kill -USR1 "$pid" |