summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--id1
-rwxr-xr-xtrigger4
2 files changed, 3 insertions, 2 deletions
diff --git a/id b/id
new file mode 100644
index 0000000..573541a
--- /dev/null
+++ b/id
@@ -0,0 +1 @@
+0
diff --git a/trigger b/trigger
index b285d7b..62336b6 100755
--- a/trigger
+++ b/trigger
@@ -1,5 +1,5 @@
-#!/bin/sh
-local -i a=$(cat id 2> /dev/null)
+#!/bin/bash
+declare -i a=$(cat id 2> /dev/null)
echo $((a++)) > id
git add id
git commit -m "Commit $a"