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 /dhcpcd/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 'dhcpcd/80-pacredir')
-rw-r--r-- | dhcpcd/80-pacredir | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/dhcpcd/80-pacredir b/dhcpcd/80-pacredir deleted file mode 100644 index 3e7addb..0000000 --- a/dhcpcd/80-pacredir +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh - -case "${reason}" in - BOUND|REBIND|REBOOT|RENEW|TIMEOUT|STATIC) - # inform pacredir about reestablished connection - if pgrep -x pacredir >/dev/null; then - kill -HUP $(pgrep -x pacredir) - fi - ;; - PREINIT|EXPIRE|INFORM|FAIL|IPV4LL|NAK|NOCARRIER|RELEASE|STOP) - # do nothing here... - ;; -esac |