rm -rf aux/

1 files changed, 0 insertions, 30 deletions

diff --git a/aux/lib.sh b/aux/lib.sh
deleted file mode 100755
index ba18f9a..0000000
--- a/aux/lib.sh
+++ /dev/null
@@ -1,30 +0,0 @@
-#!/bin/sh
-
-#
-# Generally, utilities that I expected to exist in POSIX, but don't.
-#
-
-uuid() {
-	# Taken from:
-	# https://serverfault.com/a/799198
-	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)"
-	rm -f "$name"
-	mkdir "$name"
-	echo "$name"
-}