diff options
author | Karel Kočí <karel.koci@nic.cz> | 2016-10-17 07:25:14 +0200 |
---|---|---|
committer | Karel Kočí <karel.koci@nic.cz> | 2016-10-17 07:25:14 +0200 |
commit | dc3e7767e7bb3f79c32f58ea3f8d7cf5fdd5ed24 (patch) | |
tree | 232467063dfe80fffb94e01dc93bb0615002ddff /local/bin | |
parent | 6c79fee24c35304d8f1e097abed0b8333053c7ba (diff) | |
download | myconfigs-dc3e7767e7bb3f79c32f58ea3f8d7cf5fdd5ed24.tar.gz myconfigs-dc3e7767e7bb3f79c32f58ea3f8d7cf5fdd5ed24.tar.bz2 myconfigs-dc3e7767e7bb3f79c32f58ea3f8d7cf5fdd5ed24.zip |
Revert "Save working version of annoyme"
This reverts commit 6c79fee24c35304d8f1e097abed0b8333053c7ba.
Diffstat (limited to 'local/bin')
-rwxr-xr-x | local/bin/annoyme | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/local/bin/annoyme b/local/bin/annoyme deleted file mode 100755 index 8b4abb8..0000000 --- a/local/bin/annoyme +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/bash -# annoyme - script to allow user intervention to otherwise backgrounded process. -# Copyright (C) 2016 Karel Kočí -# -# This program is free software; you can redistribute it and/or -# modify it under the terms of the GNU General Public License -# as published by the Free Software Foundation; either version 2 -# of the License, or (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. - -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 |