diff options
Diffstat (limited to 'networkmanager')
| -rwxr-xr-x | networkmanager/80-pacredir | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/networkmanager/80-pacredir b/networkmanager/80-pacredir new file mode 100755 index 0000000..bd2def5 --- /dev/null +++ b/networkmanager/80-pacredir @@ -0,0 +1,7 @@ +#!/bin/sh + +if [ "${2}" == "up" ]; then + if pgrep -x pacredir >/dev/null; then + kill -HUP $(pgrep -x pacredir) + fi +fi |