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