diff options
| -rw-r--r-- | Makefile | 1 | ||||
| -rwxr-xr-x | networkmanager/80-pacredir | 7 |
2 files changed, 8 insertions, 0 deletions
@@ -53,6 +53,7 @@ install-bin: pacredir $(INSTALL) -D -m0644 initcpio/hook/paccache $(DESTDIR)$(PREFIX)/lib/initcpio/hooks/paccache $(INSTALL) -D -m0644 initcpio/install/paccache $(DESTDIR)$(PREFIX)/lib/initcpio/install/paccache $(INSTALL) -D -m0644 dhcpcd/80-pacredir $(DESTDIR)$(PREFIX)/lib/dhcpcd/dhcpcd-hooks/80-pacredir + $(INSTALL) -D -m0755 networkmanager/80-pacredir $(DESTDIR)/etc/NetworkManager/dispatcher.d/80-pacredir install-doc: README.html $(INSTALL) -D -m0644 README.md $(DESTDIR)$(PREFIX)/share/doc/paccache/README.md 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 |