2019-10-01 16:20:43 +02:00
|
|
|
#!/usr/bin/env sh
|
2019-07-11 16:09:05 +02:00
|
|
|
|
2020-05-06 21:56:56 +02:00
|
|
|
lockfile="/tmp/dwmbar-lock"
|
2020-05-06 12:31:11 +02:00
|
|
|
p_num=$(pgrep -a busybox | grep "busybox .*/dwmbar.sh" | cut -d ' ' -f 1)
|
2020-04-30 02:36:35 +02:00
|
|
|
# echo "$p_num"
|
2020-05-06 21:56:56 +02:00
|
|
|
[ -n "$p_num" ] && rm "$lockfile" 2>/dev/null && kill -s 5 "$p_num"
|