summaryrefslogtreecommitdiff
path: root/tools/lib.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/lib.sh')
-rw-r--r--tools/lib.sh44
1 files changed, 0 insertions, 44 deletions
diff --git a/tools/lib.sh b/tools/lib.sh
deleted file mode 100644
index 23953d2..0000000
--- a/tools/lib.sh
+++ /dev/null
@@ -1,44 +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() {
- echo "${TMPDIR:-/tmp}/uuid-tmpname with spaces.$(uuid)"
-}
-
-mkstemp() {
- name="$(tmpname)"
- touch "$name"
- echo "$name"
-}
-
-mkdtemp() {
- name="$(tmpname)"
- mkdir "$name"
- echo "$name"
-}
-
-END="\033[0m"
-yellow() {
- YELLOW="\033[0;33m"
- printf "${YELLOW}${1}${END}"
-}
-
-green() {
- GREEN="\033[0;32m"
- printf "${GREEN}${1}${END}"
-}