diff options
| author |  Christian Hesse <mail@eworm.de> | 2017-04-29 00:30:38 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2017-04-29 00:34:01 +0200 |
| commit | 984f4ad69f9b7bad5dc54472dd374fd7edc5a5a9 (patch) | |
| tree | ae652fc00e7217c7b77beb722893c4ad60f7e747 /networkmanager/80-pacredir | |
| parent | 24ab5936629e735ff551f060a894fd93ad91470e (diff) | |
| download | paccache-master.tar.gz paccache-master.tar.zst | |
... get it from
https://github.com/eworm-de/pacredir#pacredir or
https://git.eworm.de/cgit.cgi/pacredir/about/
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 |