Squash changes containing private information

There were a lot of changes since the previous commit, but a lot of them
contained personnal information about users. All thos changes got
stashed into a single commit (history is kept in a different place) and
private information was moved in a separate private repository

1 files changed, 0 insertions, 7 deletions

diff --git a/modules/private/vpn/tinc/host-down b/modules/private/vpn/tinc/host-down
deleted file mode 100755
index 1e79bd3..0000000
--- a/modules/private/vpn/tinc/host-down
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/usr/bin/env bash
-
-SUBDOMAIN=$(echo "$NODE" | sed -e "s/\([A-Z][a-z0-9]*\)/\L\1 /g;" | awk '{ for (i=NF; i>1; i--) printf("%s.",$i); print $1; }')
-NODEIPS=`getent hosts ${SUBDOMAIN}.immae.eu | cut -d' ' -f1 | tr "\\n" ' '`
-for NODEIP in $NODEIPS; do
-  ip neigh del proxy $NODEIP dev @mainInterface@
-done