From e53667c7ee8d6fde268dfd48b308f0e38f729013 Mon Sep 17 00:00:00 2001
From: Tom Willemse
Date: Thu, 21 Aug 2014 00:14:54 +0200
Subject: Restore zsh config

---
 zsh/functions/precmd_maybe_festival | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 zsh/functions/precmd_maybe_festival

(limited to 'zsh/functions/precmd_maybe_festival')

diff --git a/zsh/functions/precmd_maybe_festival b/zsh/functions/precmd_maybe_festival
deleted file mode 100644
index 3f8baa3..0000000
--- a/zsh/functions/precmd_maybe_festival
+++ /dev/null
@@ -1,15 +0,0 @@
-cmdstatus=$?
-
-if [ -n "$__COMMAND_EXECUTING" -a $__COMMAND_EXECUTING -gt 0 \
-        -a -n "$__COMMAND_EXEC_TIME" ]; then
-    __COMMAND_EXECUTING=0
-    duration=$(expr $(date +%s) - $__COMMAND_EXEC_TIME)
-
-    if [ $duration -gt 30 ]; then
-        if [ $cmdstatus -eq 0 ]; then
-            echo "done" | festival --tts
-        else
-            echo "failed" | festival --tts
-        fi
-    fi
-fi
-- 
cgit v1.3-2-g0d8e