src/development/lib.sh: Add helper file

1 files changed, 30 insertions, 0 deletions

diff --git a/src/development/lib.sh b/src/development/lib.sh
new file mode 100755
index 0000000..fb2c124
--- /dev/null
+++ b/src/development/lib.sh
@@ -0,0 +1,30 @@
+#!/bin/sh
+
+assert_arg() {
+	if [ -z "$1" ]; then
+		echo "Missing $2" >&2
+		exit 2
+	fi
+}
+
+uuid() {
+        od -xN20 /dev/urandom |
+                head -n1 |
+                awk '{OFS="-"; print $2$3,$4,$5,$6,$7$8$9}'
+}
+
+tmpname() {
+        echo "${TMPDIR:-/tmp}/uuid-tmpname with spaces.$(uuid)"
+}
+
+mkstemp() {
+	name="$(tmpname)"
+	touch "$name"
+	echo "$name"
+}
+
+mkdtemp() {
+        name="$(tmpname)"
+	mkdir "$name"
+        echo "$name"
+}