summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtrigger4
1 files changed, 2 insertions, 2 deletions
diff --git a/trigger b/trigger
index 62336b6..f5cd4dc 100755
--- a/trigger
+++ b/trigger
@@ -1,6 +1,6 @@
#!/bin/bash
-declare -i a=$(cat id 2> /dev/null)
-echo $((a++)) > id
+declare -i a=$(< id)
+echo $((++a)) > id
git add id
git commit -m "Commit $a"
git push