blob: cd3f0ec330d3cf3f48ff210505a3294fa9cd7a39 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
#/bin/bash
ende() {
printf "\b \b"
echo "$0 cancelled"
# show input again
stty echo
exit 10
}
trap ende 2
usage() {
echo "usage: $0 (processname|pid) time(hh:mm)"
exit 1
}
output() {
if [ $# -eq 1 ]
then
printf "$1"
sleep 3
printf "\b \b"
fi
}
rotate() {
rotate_help
rotate_help
}
rotate_help() {
output "|"
output "/"
output "-"
output "\\"
}
# exit if not 2 arguments are given
if [ $# -ne 2 ]
then
usage
fi
process="$1"
time="$2"
actTime="$(date +%H:%M)"
# exit if given time is not correct
if [ "$(echo "$time" | sed 's/[01][0123456789]:[012345][0123456789]\|[2][0123]:[012345][0123456789]//g')" != "" ]
then
usage
fi
# select if PID or processname is given
# hopefully no process is named only with numbers
if [ "$(echo "$process" | sed s/[0123456789]//g)" = "" ]
then
isPID="true"
else
isPID="false"
fi
# exit if processname or PID is not single-valued
if [ $(ps -A | grep $process | wc -l) -ne 1 ]
then
echo "no process found or too many found! ($process)"
exit 2
fi
# convert processname to PID if neccessary
if [ "$isPID" = "false" ]
then
process="$(ps -A | grep $process | awk '{print $1}')"
fi
# turn of showing input
stty -echo
# endless loop ;-)
while [ 1 ]
do
# exit if process already stopped
if [ $(ps -A | awk '{print $1}' | grep $process | wc -l) -ne 1 ]
then
echo
echo "process already stopped"
stty echo
exit 0
fi
# if time has reached, then kill process and exit
if [ "$actTime" = "$time" ]
then
kill "$process"
echo
echo "process killed succesfully"
stty echo
exit 0
# output to see that the script works
# checks every 48 sec
else
rotate
rotate
fi
actTime=$(date +%H:%M)
done
|
