From 4c6543322c2bd2f973d5bfeff0ef43276c874483 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Fri, 11 Jan 2013 00:42:46 +0100
Subject: Don't use festival

I only have and want it installed on my PC, no need for it on my
server.
---
 .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