this repo has no description
fix commit.sh
+6
-3
+6
-3
commit.sh
+6
-3
commit.sh
···
1
1
#!/usr/bin/env bash
2
2
3
-
echo "\n\nGot new commit: $(date)\n---\n"
3
+
echo "
4
+
Got new commit: $(date)
5
+
---
6
+
"
4
7
5
8
# pull latest version
6
9
echo "git fetch --all"
···
8
11
echo "git reset --hard origin/main"
9
12
git reset --hard origin/main
10
13
11
-
echo "cat <<BODY | curl -d @- http://compuper:6500/notify"
14
+
echo "curl -d fetched-latest http://compuper:6500/notify"
12
15
cat <<BODY | curl -d @- http://compuper:6500/notify
13
16
name=vps%3A%20git%20($(git log -1 --pretty=format:%h))\
14
17
&timeout=5000\
···
26
29
echo "docker system prune -af"
27
30
docker system prune -af
28
31
29
-
echo "cat <<BODY | curl -d @- http://compuper:6500/notify"
32
+
echo "curl -d ready http://compuper:6500/notify"
30
33
cat <<BODY | curl -d @- http://compuper:6500/notify
31
34
name=pi%3A%20ready%20($(git log -1 --pretty=format:%h))
32
35
&timeout=5000