From 20e3f66fdd502828186653bbacafb6bb7d8d4166 Mon Sep 17 00:00:00 2001
From: Ivan Malison <IvanMalison@gmail.com>
Date: Wed, 4 Feb 2015 13:29:49 -0800
Subject: [PATCH] kill mu4e_sync command because it sometimes isn't
 terminating.

---
 dotfiles/lib/shellenv/mu4e.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dotfiles/lib/shellenv/mu4e.sh b/dotfiles/lib/shellenv/mu4e.sh
index edf56fde..5f3d1f6a 100644
--- a/dotfiles/lib/shellenv/mu4e.sh
+++ b/dotfiles/lib/shellenv/mu4e.sh
@@ -29,7 +29,7 @@ function mu4e_update_index_and_alert {
 function mu4e_sync_command {
     local flags=''
     test -z "$*" || flags="-f $@"
-    timeout $TIMEOUT zsh -c "offlineimap $flags"
+    timeout --kill-after "$TIMEOUT" "$TIMEOUT" zsh -c "offlineimap $flags"
 }
 
 function mu4e_update_index {