debian: Rename debian directory to debtpl (fixes #3099)

To keep it out of the way for actual, real, Debian packagers GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3195
2016-05-26 16:37:09 +00:00
parent 9bb5988b4e
commit 4669ce0766
6 changed files with 2 additions and 5 deletions
--- a/debtpl/syncthing/postinst
+++ b/debtpl/syncthing/postinst
@@ -0,0 +1,6 @@
+#!/bin/bash
+set -euo pipefail
+
+if [[ ${1:-} == configure ]]; then
+	pkill -HUP -x syncthing || true
+fi