From fe8d837aeb6bebd3793210eca1287194e0f94933 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sun, 18 Aug 2024 18:27:49 -0300 Subject: rm -rf doc/ src/development/ --- src/development/lib.sh | 33 --------------------------------- 1 file changed, 33 deletions(-) delete mode 100644 src/development/lib.sh (limited to 'src/development') diff --git a/src/development/lib.sh b/src/development/lib.sh deleted file mode 100644 index e345bd6..0000000 --- a/src/development/lib.sh +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/sh - -assert_arg() { - if [ -z "$1" ]; then - printf 'Missing %s.\n\n' "$2" >&2 - cat <<-'EOF' - usage >&2 - exit 2 - EOF - fi -} - -uuid() { - od -xN20 /dev/urandom | - head -n1 | - awk '{OFS="-"; print $2$3,$4,$5,$6,$7$8$9}' -} - -tmpname() { - printf '%s/uuid-tmpname with spaces.%s' "${TMPDIR:-/tmp}" "$(uuid)" -} - -mkstemp() { - name="$(tmpname)" - touch -- "$name" - printf '%s' "$name" -} - -mkdtemp() { - name="$(tmpname)" - mkdir -- "$name" - printf '%s' "$name" -} -- cgit v1.2.3