diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/lib.sh | 33 | ||||
| -rwxr-xr-x | tools/manpages.sh | 2 |
2 files changed, 34 insertions, 1 deletions
diff --git a/tools/lib.sh b/tools/lib.sh new file mode 100644 index 0000000..9d183f9 --- /dev/null +++ b/tools/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" +} diff --git a/tools/manpages.sh b/tools/manpages.sh index 959b1c2..755ff77 100755 --- a/tools/manpages.sh +++ b/tools/manpages.sh @@ -1,7 +1,7 @@ #!/bin/sh set -eu -. tests/lib.sh +. tools/lib.sh usage() { |