merged
authorHeiko Schlittermann <hs@schlittermann.de>
Fri, 13 Mar 2009 14:46:14 +0100
changeset 30 c22ca6b1ad5c
parent 29 8dc39221096a (diff)
parent 28 3dd0ab6f59ae (current diff)
child 31 edb35d13c193
merged
Makefile
default.in
init.d.in
Binary file Makefile has changed
--- a/default	Fri Mar 13 14:03:30 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-# the directory to watch
-WATCHPOINTS="/dtele:/.dtele"
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/default.in	Fri Mar 13 14:46:14 2009 +0100
@@ -0,0 +1,2 @@
+# the directory to watch
+WATCHPOINTS="/dtele:/.dtele"
Binary file init.d.in has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/unchanged	Fri Mar 13 14:46:14 2009 +0100
@@ -0,0 +1,9 @@
+#! /bin/bash
+
+file="${1?}"
+
+test -e "$file" || exit 0
+
+found=$(head -n -1 "$file" | sha1sum | cut -f1 -d' ')
+expected=$(tail -n 1 "$1" | cut -f2 -d" ")
+test "$found" = "$expected"