index
:
dotfiles
main
Unnamed repository; edit this file 'description' to name the repository.
External SSH Git service user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
bin
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
(limited to 'bin')
-rwxr-xr-x
bin/p
4
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/p b/bin/p
new file mode 100755
index 0000000..6943969
--- /dev/null
+++ b/
bin/p
@@ -0,0 +1,4 @@
+#!/bin/sh
+set -euo pipefail
+
+exec boop untill ping -c3 euandre.org