diff options
| author | EuAndreh <eu@euandre.org> | 2022-12-08 21:05:53 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-12-08 21:05:53 -0300 |
| commit | 87206f75003316b185ac85769d8226501aa4a5bd (patch) | |
| tree | afb72cedd4ec7f8cd30d9c1cac4a3de96e3b8f27 /aux/lib.sh | |
| parent | Makefile: Build public/ out of data from the repository (diff) | |
| download | server-87206f75003316b185ac85769d8226501aa4a5bd.tar.gz server-87206f75003316b185ac85769d8226501aa4a5bd.tar.xz | |
aux/: Embed files in repository
Diffstat (limited to 'aux/lib.sh')
| -rw-r--r-- | aux/lib.sh | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/aux/lib.sh b/aux/lib.sh new file mode 100644 index 0000000..9d183f9 --- /dev/null +++ b/aux/lib.sh @@ -0,0 +1,33 @@ +#!/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() { + echo "${TMPDIR:-/tmp}/uuid-tmpname with spaces.$(uuid)" +} + +mkstemp() { + name="$(tmpname)" + touch "$name" + echo "$name" +} + +mkdtemp() { + name="$(tmpname)" + mkdir "$name" + echo "$name" +} |