From 862271d704f1d096a26e0b3ff147b70ae94a64e3 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Mon, 13 Mar 2023 14:25:15 -0300
Subject: rm -rf aux/ po/

---
 aux/lib.sh | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100755 aux/lib.sh

(limited to 'aux/lib.sh')

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"
-}
-- 
cgit v1.2.3