diff options
| author |  Christian Hesse <mail@eworm.de> | 2014-09-14 21:16:00 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2014-09-14 21:16:00 +0200 |
| commit | 6b4dbbdd3728bcbd99228b4a9cce1db0b24ae95d (patch) | |
| tree | 282972d0f067d52e76273bc4a56e34d8df509a76 /networkmanager | |
| parent | 599b626695044a021707da971e76642d6d889ec3 (diff) | |
| download | pacredir-6b4dbbdd3728bcbd99228b4a9cce1db0b24ae95d.tar.gz pacredir-6b4dbbdd3728bcbd99228b4a9cce1db0b24ae95d.tar.zst | |
add networkmanager dispatcher script
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 |