From 81e69e0e392e2b2a34f3f65c9e138f56a7dfed2a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Sun, 25 Sep 2016 16:16:51 +0200 Subject: annoyme separated to external repository --- local/bin/annoyme | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100755 local/bin/annoyme (limited to 'local/bin/annoyme') diff --git a/local/bin/annoyme b/local/bin/annoyme deleted file mode 100755 index 92a42d4..0000000 --- a/local/bin/annoyme +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash - -DOT_ANNOYME=~/.annoyme - -for NAME in `ls "$DOT_ANNOYME" | grep -E '.pid$' | sed 's/\.pid$//'`; do - echo -e "\033[0;31m$NAME:\033[0m" `cat "$DOT_ANNOYME/$NAME.desc"` - echo -ne "\033[0;1m Y/n: \033[0;0m" - read - if [[ $REPLY =~ ^[Yy]?$ ]]; then - if $DOT_ANNOYME/$NAME.script > "$DOT_ANNOYME/$NAME.out"; then - kill -SIGUSR1 `cat "$DOT_ANNOYME/$NAME.pid"` - else - kill -SIGUSR2 `cat "$DOT_ANNOYME/$NAME.pid"` - fi - fi - echo -done -- cgit v1.2.3