2023-10-09 02:32:58 -05:00
|
|
|
define_usage() { read -d '' usage; }
|
2023-02-22 13:06:39 -06:00
|
|
|
errcho() { (>&2 echo $@); }
|
2023-10-09 02:32:58 -05:00
|
|
|
ercat() { (>&2 cat "$@"); }
|
2023-02-22 13:06:39 -06:00
|
|
|
errcat() { (>&2 cat <<<"$@"); }
|
2023-06-21 23:51:03 -05:00
|
|
|
dedcat() { (>&2 cat <<<"$@"); exit 1; }
|
2023-10-09 02:32:58 -05:00
|
|
|
xcat() { (>&2 cat "$@"); exit 0; }
|
2023-06-21 23:51:03 -05:00
|
|
|
excat() { (>&2 cat <<<"$@"); exit 0; }
|
2023-02-22 13:06:39 -06:00
|
|
|
die() { errcho $@; exit 1; }
|
2024-09-30 11:21:45 -05:00
|
|
|
mktimestamp() { date '+%Y-%m-%d_%s'; }
|