Project

General

Profile

1
#!/bin/bash -e
2
set -o errexit -o pipefail # errexit in case caller's #! line missing -e
3

    
4
if test ! "$_util_sh_include_guard_utils"; then
5
_util_sh_include_guard_utils=1
6

    
7
isset() { declare -p "$1" &>/dev/null; }
8

    
9
realpath() { readlink -f -- "$1"; }
10

    
11
str2varname() { echo "${1//[^a-zA-Z0-9_]/_}"; }
12

    
13
include_guard_var() { str2varname "$(realpath "$1")"; }
14

    
15
self_not_included() # usage: if self_not_included; then ... fi
16
{
17
	test $# -ge 1 || set -- "${BASH_SOURCE[1]}"
18
	local include_guard="$(include_guard_var "$1")"
19
	alias self_being_included=false
20
	! isset "$include_guard" && \
21
	{ eval "$include_guard"=1; alias self_being_included=true; }
22
}
23

    
24
# to load newly-defined aliases for use in functions in the same file:
25
## fi # load new aliases
26
## if self_being_included; then
27
# this is needed because aliases defined inside an if statement are not
28
# available inside that if statement
29

    
30
fi
31

    
32

    
33
if self_not_included "${BASH_SOURCE[0]}"; then
34

    
35

    
36
#### options
37

    
38
shopt -s expand_aliases
39
# **DON'T** do `shopt -s lastpipe` because this causes a segfault on Linux in
40
# stderr_matches(). (it also isn't supported on Mac.) use @PIPESTATUS instead.
41

    
42

    
43
#### stubs
44

    
45
__caller_indent='log_indent="$log_indent$log_indent_step"'
46
alias caller_indent="$__caller_indent"
47
alias indent="declare $__caller_indent"
48

    
49
function echo_func() { :; }
50
alias echo_func='"echo_func" "$FUNCNAME" "$@" && indent || true'
51

    
52
function echo_run() { :; }
53
alias echo_run='"echo_run" ' # last space alias-expands next word
54

    
55
# auto-echo common external commands
56
for cmd in env rm which; do alias "$cmd=echo_run $cmd"; done; unset cmd
57

    
58
echo_builtin() { :; }
59

    
60
function echo_vars() { :; }
61

    
62

    
63
#### debugging
64

    
65
ps() { echo "$@" >&2; } # usage: ps str...
66

    
67

    
68
#### logic
69

    
70
not() { ! "$@"; } # usage: wrapper_cmd not wrapped_cmd... # inverts exit status
71

    
72

    
73
#### vars
74

    
75
alias local_array='declare'
76
	# `local` does not support arrays in older versions of bash
77
	# don't need -a because that it's an array is autodetected by the ()
78

    
79
set_var() { eval "$1"'="$2"'; }
80

    
81
set_default() { if ! isset "$1"; then set_var "$@"; fi; }
82

    
83
set_inv() { set_var no_"$1" "$(test "${!1}" || echo 1)"; }
84

    
85
# usage: local var=...; local_inv
86
alias local_inv=\
87
'declare "no_$var=$(test "${!var}" || echo 1)"; echo_vars no_$var'
88

    
89
unexport() { export -n "$@"; }
90
	# `declare +x` won't work because it defines the var if it isn't set
91

    
92
alias local_export='declare -x' # combines effects of local and export
93

    
94
alias export_array='declare -x'
95
	# `export` does not support arrays in older versions of bash
96
	# don't need -a because that it's an array is autodetected by the ()
97

    
98
# to make export only visible locally: local var="$var"; export var
99
# within cmd: var="$var" cmd...
100

    
101
get_prefix_vars() { : "${prefix:?}"; eval echo '${!'$prefix'*}'; }
102

    
103
# usage: local prefix=..._; import_vars
104
# when used inside another alias 2+ levels deep, *must* be run inside a function
105
alias import_vars="$(cat <<'EOF'
106
: "${prefix:?}"
107
declare src_var dest_var
108
for src_var in $(get_prefix_vars); do
109
	dest_var="${src_var#$prefix}"
110
	declare "$dest_var=${!dest_var-${!src_var}}"; echo_vars "$dest_var"
111
done
112
EOF
113
)"
114

    
115

    
116
#### caching
117

    
118
## shell-variable-based caching
119

    
120
# usage: local cache_key=...; load_cache; \
121
# if ! cached; then save_cache value || return; fi; echo_cached_value
122
# cache_key for function inputs: "$(declare -p kw_param...) $*"
123
alias load_cache='declare cache_var="$(str2varname "${FUNCNAME}___$cache_key")"'
124
alias cached='isset "$cache_var"'
125
alias save_cache='set_var "$cache_var"'
126
alias echo_cached_value='echo "${!cache_var}"'
127

    
128
clear_cache() # usage: func=... clear_cache
129
{ : "${func:?}"; unset $(prefix="${func}___" get_prefix_vars); }
130

    
131
fi # load new aliases
132
if self_being_included; then
133

    
134

    
135
#### aliases
136

    
137
unalias() { builtin unalias "$@" 2>&- || true; } # no error if undefined
138

    
139
# usage: alias alias_='var=value run_cmd '
140
function run_cmd() { "$@"; }
141
alias run_cmd='"run_cmd" ' # last space alias-expands next word
142

    
143
alias_append() { eval "$(alias "$1")"'"$2"';} #usage: alias_append alias '; cmd'
144

    
145

    
146
#### commands
147

    
148
is_callable() { type -t "$@" >/dev/null; }
149

    
150
is_dot_script() { echo_func; test "${BASH_LINENO[${#BASH_LINENO[@]}-1]}" != 0; }
151

    
152
require_dot_script() # usage: require_dot_script || return
153
{
154
	echo_func
155
	if ! is_dot_script; then # was run without initial "."
156
		echo "usage: . $top_script (note initial \".\")"|fold -s >&2
157
		return 2
158
	fi
159
}
160

    
161
sys_cmd_path() { echo_func; echo_builtin command -p which "$1"|echo_stdout; }
162

    
163
# makes command in $1 a system command
164
# allows running a system command of the same name as the script
165
alias cmd2sys="$(cat <<'EOF'
166
declare _1="$1"; shift
167
_1="$(indent; log++ sys_cmd_path "$_1")" || return
168
set -- "$_1" "$@"
169
EOF
170
)"
171

    
172
fi # load new aliases
173
if self_being_included; then
174

    
175
sys_cmd() { cmd2sys; command "$@"; } # usage: sys_cmd cmd... # runs system cmd
176
	# allows running a system command of the same name as the script
177

    
178

    
179
#### functions
180

    
181
kw_params() # usage: func() { kw_params param_var...; }; ...; param_var=... cmd
182
# removes keyword-param-only vars from the environment
183
{ unexport "$@"; }
184

    
185
# usage: cmd=... foreach_arg
186
function foreach_arg()
187
{
188
	echo_func; kw_params cmd; : "${cmd:?}"
189
	local a; for a in "$@"; do
190
		a="$(log++ echo_run "$cmd" "$a")" || return; args+=("$a")
191
	done
192
	echo_vars args
193
}
194
alias foreach_arg='"foreach_arg" "$@"; set -- "${args[@]}"; unset args'
195

    
196
alias self_name='echo "${FUNCNAME%%__*}"' # usage: "$(self_name)"
197

    
198
alias self='command "$(self_name)"' # usage: wrapper() { self ...; }
199
alias self_sys='sys_cmd "$(self_name)"' # wrapper() { self_sys ...; }
200

    
201
pv() { declare -p "$@" >&2; } # usage: pv var... # debug-prints var(s)
202

    
203
pf() { declare -f "$@" >&2; } # usage: pf function # debug-prints func decl
204

    
205
all_funcs() # usage: for func in $(all_funcs); do ...; done # all declared funcs
206
{ declare -F|while read -r line; do echo -n "${line#declare -f } "; done; }
207

    
208

    
209
#### exceptions
210

    
211
# usage: cmd || { save_e; ...; rethrow; }
212

    
213
alias export_e='e=$?'
214

    
215
# **WARNING**: if using this after a command that might succeed (rather than
216
# only upon error), you must `unset e` before the command
217
# idempotent: also works if save_e already called
218
alias save_e='# idempotent: use $e if the caller already called save_e
219
declare e_=$?;
220
declare e="$(if test "$e_" = 0; then echo "${e:-0}"; else echo "$e_"; fi)"'
221

    
222
alias rethrow!='return "$e"'
223
	# can't use `(exit "$e")` because a bug in bash prevents subshells from
224
	# triggering errexit (would need to append `|| return` for it to work)
225
alias rethrow_exit!='exit "$e"'
226

    
227
alias rethrow='{ if test "$e" != 0; then rethrow!; fi; }'
228
alias rethrow_exit='{ if test "$e" != 0; then rethrow_exit!; fi; }'
229
alias rethrow_subshell='rethrow_exit'
230

    
231
fi # load new aliases
232
if self_being_included; then
233

    
234
# usage: try cmd...; ignore_e status; if catch status; then ...; fi; end_try
235

    
236
alias prep_try='declare e=0' # last space alias-expands next word
237

    
238
# usage: ...; try cmd... # *MUST* be at beginning of statement
239
#     OR prep_try; wrapper "try" cmd...
240
function try() { benign_error=1 "$@" || { export_e; true; }; }
241
alias try='prep_try; "try" ' # last space alias-expands next word
242

    
243
catch() { test "$e" = "${1:-0}" && e=0; } # also works w/ $1=''
244

    
245
ignore_e() { catch "$@" || true; } # also works w/ $1=''
246

    
247
alias end_try='rethrow'
248
alias end_try_subshell='rethrow_subshell'
249

    
250
ignore() { save_e; ignore_e "$@"; rethrow; } # usage: try cmd || ignore status
251

    
252
### signals
253

    
254
sig_e() { echo $(( 128+$(kill -l "$1") )); } # usage: sig_e SIGINT, etc.
255

    
256
ignore_sig() { ignore "$(sig_e "$1")"; }
257

    
258
# usage: piped_cmd cmd1...|cmd2... # cmd2 doesn't read all its input
259
function piped_cmd() { "$@" || ignore_sig SIGPIPE; }
260
alias piped_cmd='"piped_cmd" ' # last space alias-expands next word
261

    
262
fi # load new aliases
263
if self_being_included; then
264

    
265

    
266
#### integers
267

    
268
let!() { let "$@" || true; } # always returns true; safe to use for setting
269
	# "If the last ARG evaluates to 0, let returns 1" (`help let`)
270

    
271
bool2int() { try test ! "$1"; echo "$e"; } # empty->0; non-empty->1
272

    
273
int2exit() { (( "$1" != 0 )); }
274

    
275
exit2bool() { if (( $? == 0 )); then echo 1; fi } # 0->non-empty; !=0->empty
276

    
277

    
278
#### floats
279

    
280
int_part() { echo "${1%%.*}"; }
281

    
282
dec_suffix() { echo "${1#$(int_part "$1")}"; }
283

    
284
round_down() { int_part "$1"; }
285

    
286
float+int() { echo "$(($(int_part "$1")+$2))$(dec_suffix "$1")"; }
287

    
288
float_set_min() { if (($(int_part $1) >= $2)); then echo $1; else echo $2; fi; }
289

    
290

    
291
#### strings
292

    
293
starts_with() { test "${2#$1}" != "$2"; } # usage: starts_with pattern str
294

    
295
match_prefix() # usage: match_prefix pattern str
296
{ if starts_with "$1" "$2"; then echo "${2%${2#$1}}"; fi }
297

    
298
rm_prefix() { echo "${2#$1}"; } # usage: rm_prefix pattern str
299

    
300
repeat() # usage: str=... n=... repeat
301
{
302
	: "${str?}" "${n:?}"; local result= n="$n" # n will be modified in function
303
	for (( ; n > 0; n-- )); do result="$result$str"; done
304
	echo "$result"
305
}
306

    
307
# usage: outer_cmd $sed_cmd ...
308
sed_cmd="env LANG= sed -`case "$(uname)" in Darwin) echo El;; *) echo ru;;esac`"
309
	# LANG: avoid invalid UTF-8 "illegal byte sequence" errors when LANG=*.UTF-8
310
	# -l: line buffered / -u: unbuffered
311
alias sed="$sed_cmd"
312
	# can't be function because this causes segfault in redir() subshell when
313
	# used with make.sh make() filter
314

    
315
fi # load new aliases
316
if self_being_included; then
317

    
318
rtrim() { log_local; log+ 3; sed 's/[[:space:]]+$//' <<<"$1"; }
319

    
320

    
321
#### arrays
322

    
323
echo1() { echo "$1"; } # usage: echo1 values...
324

    
325
esc_args() # usage: array=($(log++; prep_env... (eg. cd); esc_args args...))
326
{ local arg; for arg in "$@"; do printf '%q ' "$arg"; done; }
327

    
328
# usage: split delim str; use ${parts[@]}
329
function split() { local IFS="$1"; parts=($2); echo_vars parts; }
330
	# no echo_func because used by log++
331
alias split='declare parts; "split"'
332

    
333
join() { local IFS="$delim"; echo "$*"; } # usage: delim=char join elems...
334

    
335
reverse() # usage: array=($(reverse args...))
336
{
337
	local i
338
	for (( i=$#; i > 0; i-- )); do printf '%q ' "${!i}"; done
339
}
340

    
341
contains() # usage: contains value in_array...
342
{
343
	local value="$1"; shift
344
	local elem
345
	for elem in "$@"; do if test "$elem" = "$value"; then return 0; fi; done
346
	return 1
347
}
348

    
349
is_array() # handles unset vars (=false)
350
{
351
	isset "$1" || return 1
352
	local decl; decl="$(declare -p "$1")" || return; echo_vars decl
353
	starts_with 'declare -a' "$decl" # also matches -ax
354
}
355

    
356

    
357
#### text
358

    
359
fi # load new aliases
360
if self_being_included; then
361

    
362
nl='
363
'
364

    
365
# usage: split_lines str; use ${lines[@]}
366
function split_lines() { split "$nl" "$1"; lines=("${parts[@]}"); }
367
	# no echo_func because used by log++
368
alias split_lines='declare lines; "split_lines"'
369

    
370

    
371
#### terminal
372

    
373
### formatting
374

    
375
has_bg()
376
{
377
	# inverse (black background)/set background (normal colors)/set background
378
	# (bright colors) (xfree86.org/current/ctlseqs.html#Character_Attributes)
379
	starts_with 7 "$1" || starts_with 4 "$1" || starts_with 10 "$1"
380
}
381

    
382
format() # usage: format format_expr msg
383
# format_expr: the #s in xfree86.org/current/ctlseqs.html#Character_Attributes
384
{
385
	local format="$1" msg="$2"
386
	if starts_with '[' "$msg"; then format=; fi #don't add padding if formatted
387
	if has_bg "$format"; then msg=" $msg "; fi # auto-add padding if has bg
388
	echo "${format:+[0;${format}m}$msg${format:+}"
389
}
390

    
391
plain() { echo "$1"; }
392

    
393
fade() { format 90 "$@"; } # medium gray fades on white *&* black backgrounds
394

    
395

    
396
#### paths
397

    
398
strip/() { echo "${1%/}"; } # strips trailing /s
399

    
400
wildcard/() # usage: array=($(log++; [cd ...;] wildcard/ unquoted_pattern...))
401
{ cmd=strip/ foreach_arg; esc_args "$@"; }
402

    
403
wildcard.() # usage: array=($(log++; [cd ...;] wildcard. unquoted_pattern...))
404
# currently only removes . .. at beginning of list
405
{
406
	set -- $(wildcard/ "$@") # first strip trailing /s
407
	local to_rm=(. ..)
408
	local item
409
	if contains "$1" "${to_rm[@]}"; then
410
		shift
411
		if contains "$1" "${to_rm[@]}"; then shift; fi
412
	fi
413
	esc_args "$@"
414
}
415

    
416
#### streams
417

    
418
pipe_delay() # usage: cmd1 | { pipe_delay; cmd2; }
419
{ sleep 0.1; } # s; display after leading output of cmd1
420

    
421

    
422
#### verbose output
423

    
424

    
425
err_fd=2 # stderr
426

    
427
usage() { echo "Usage: $1" >&2; return 2; }
428

    
429

    
430
### log++
431

    
432
log_fd=2 # initially stderr
433

    
434
if test "$explicit_errors_only"; then verbosity=0; fi # hide startup logging
435

    
436
# set verbosity
437
if isset verbose; then : "${verbosity:=$(bool2int "$verbose")}"; fi
438
if isset vb; then : "${verbosity:=$vb}"; fi
439
: "${verbosity=1}" # default
440
: "${verbosity:=0}" # ensure non-empty
441
export verbosity # propagate to invoked commands
442

    
443
is_outermost="$(! isset log_level; exit2bool)" # if util.sh env not yet set up
444

    
445
# set log_level
446
: "${log_level=$(( ${#PS4}-1 ))}" # defaults to # non-space symbols in PS4
447
export log_level # propagate to invoked commands
448
export PS4 # follows log_level, so also propagate this
449

    
450
verbosity_int() { round_down "$verbosity"; }
451

    
452
# verbosities (and `make` equivalents):
453
# 0: just print errors. useful for cron jobs.
454
#    vs. make: equivalent to --silent, but suppresses external command output
455
# 1: also external commands run. useful for running at the command line.
456
#    vs. make: not provided (but sorely needed to avoid excessive output)
457
# 2: full graphical call tree. useful for determining where error occurred.
458
#    vs. make: equivalent to default verbosity, but with much-needed indents
459
# 3: also values of kw params and variables. useful for low-level debugging.
460
#    vs. make: not provided; need to manually use $(error $(var))
461
# 4: also variables in util.sh commands. useful for debugging util.sh.
462
#    vs. make: somewhat similar to --print-data-base
463
# 5: also variables in logging commands themselves. useful for debugging echo_*.
464
#    vs. make: not provided; need to search Makefile for @ at beginning of cmd
465
# 6+: not currently used (i.e. same as 5)
466

    
467
# definition: the log_level is the minimum verbosity needed to display a message
468
# for messages that use can_log(), the log_level starts with *1*, not 0
469
# for unfiltered messages, the log_level is 0 (i.e. still output at verbosity=0)
470
# to view a message's log_level, count the # of + signs before it in the output
471

    
472
alias log_local='declare PS4="$PS4" log_level="$log_level"'
473

    
474
fi # load new aliases
475
if self_being_included; then
476

    
477
# usage: in func:      log_local; log++; ...
478
#        outside func: log_local; log++; ...; log--
479
#        before cmd:   log++ cmd  OR  log+ num cmd  OR  log++ log++... cmd
480
# with a cmd, assignments are applied just to it, so log_local is not needed
481
# without a cmd, assignments are applied to caller ("$@" expands to nothing)
482
# "${@:2}" expands to all of $@ after *1st* arg, not 2nd ($@ indexes start at 1)
483
log:() # sets explicit log_level
484
{
485
	if test $# -gt 1; then log_local; fi # if cmd, only apply assignments to it
486
	# no local vars because w/o cmd, assignments should be applied to caller
487
	log_level="$1"
488
	PS4="$(str="${PS4:0:1}" n=$((log_level-1)) repeat)${PS4: -2}"
489
	"${@:2}"
490
}
491
log+() { log: $((log_level+$1)) "${@:2}"; }
492
log-() { log+ "-$1" "${@:2}"; }
493
# no log:/+/- alias needed because next word is not an alias-expandable cmd
494
function log++() { log+ 1 "$@"; }
495
function log--() { log- 1 "$@"; }
496
function log!() { log: 0 "$@"; } # force-displays next log message
497
alias log++='"log++" ' # last space alias-expands next word
498
alias log--='"log--" ' # last space alias-expands next word
499
alias log!='"log!" ' # last space alias-expands next word
500

    
501
verbosity_min() # usage: verbosity_min {<min>|''}
502
# WARNING: '' is a special value that causes $verbosity to be overwritten to ''
503
{ if test ! "$1" -o "$(verbosity_int)" -lt "$1"; then verbosity="$1"; fi; }
504
alias verbosity_min='declare verbosity="$verbosity"; "verbosity_min"'
505

    
506
# usage: (verbosity_compat; cmd)
507
function verbosity_compat()
508
{ echo_func; if ((verbosity == 1)); then unset verbosity; fi; }
509
alias verbosity_compat='declare verbosity="$verbosity"; "verbosity_compat"'
510

    
511

    
512
# indent for call tree. this is *not* the log_level (below).
513
: "${log_indent_step=| }" "${log_indent=}"
514
export log_indent_step log_indent # propagate to invoked commands
515

    
516
# see indent alias in stubs
517

    
518

    
519
fi # load new aliases
520
if self_being_included; then
521

    
522
can_log() { test "$log_level" -le "$(verbosity_int)"; }
523
	# verbosity=0 turns off all logging
524

    
525
can_highlight_log_msg() { test "$log_level" -le 1; }
526

    
527
highlight_log_msg() # usage: [format=...] highlight_log_msg msg
528
# format: the # in xfree86.org/current/ctlseqs.html#Character_Attributes
529
{
530
	kw_params format; local format="${format-1}" # bold
531
	if ! can_highlight_log_msg; then format=; fi
532
	format "$format" "$1"
533
}
534

    
535
log_line!() # highlights log_level 1 messages to stand out against other output
536
{ echo "$log_indent$PS4$(highlight_log_msg "$1")" >&"$log_fd"; }
537

    
538
log_msg!()
539
{ split_lines "$1"; local l; for l in "${lines[@]}"; do log_line! "$l"; done; }
540

    
541
log() { if can_log; then log_msg! "$@"; fi; }
542

    
543
log_custom() # usage: symbol=... log_custom msg
544
{ log_indent="${log_indent//[^ ]/$symbol}" PS4="${PS4//[^ ]/$symbol}" log "$@";}
545

    
546
bg_r='101;97' # red background with white text
547

    
548
log_err() { symbol='#' format="$bg_r" log_fd="$err_fd" log! log_custom "$@";}
549

    
550
log_info() { symbol=: log_custom "$@"; }
551

    
552
mk_hint() { format=7 highlight_log_msg "$@";}
553

    
554
log_err_hint!() { log_err "$(mk_hint "$@")"; }
555

    
556
log_err_hint() # usage: cmd || [benign_error=1] log_err_hint msg [|| handle err]
557
# msg only displayed if not benign error
558
{
559
	kw_params benign_error
560
	if test ! "$benign_error"; then log_err_hint! "$@"; fi
561
}
562

    
563
die() # usage: cmd || [type=...] die msg # msg can use $? but not $()
564
{ save_e; kw_params type; "log_${type:-err}" "$1"; rethrow; }
565

    
566
die_e() # usage: cmd || [benign_error=1] die_e [|| handle error]
567
{
568
	save_e; kw_params benign_error
569
	if test "$benign_error"; then log_local; log++; fi
570
	type="${benign_error:+info}" die "command exited with \
571
$(if test "$benign_error"; then echo status; else echo error; fi) $e"
572
	rethrow
573
}
574

    
575
die_error_hidden() # usage: cmd || verbosity_min=# die_error_hidden [|| ...]
576
{
577
	save_e; kw_params verbosity_min; : "${verbosity_min:?}"
578
	echo_vars verbosity
579
	if test "$(verbosity_int)" -lt "$verbosity_min"; then
580
		log_err_hint 'to see error details, prepend `vb='"$verbosity_min"'` to the command'
581
	fi
582
	rethrow
583
}
584

    
585

    
586
#### functions
587

    
588
func_exists() { declare -f "$1" >/dev/null; }
589

    
590
copy_func() # usage: from=... to=... copy_func
591
# $to must not exist. to get around the no-clobber restriction, use `unset -f`.
592
{
593
	: "${from:?}" "${to:?}"
594
	func_exists "$from" || die "function does not exist: $from"
595
	! func_exists "$to" || die "function already exists: $to"
596
	local from_def="$(declare -f "$from")"
597
	eval "$to${from_def#$from}"
598
}
599

    
600
func_override() # usage: func_override old_name__suffix
601
{ from="${1%__*}" to="$1" copy_func; }
602

    
603
ensure_nested_func() # usage: func__nested_func() { ensure_nested_func; ... }
604
{
605
	local nested_func="${FUNCNAME[1]}"
606
	local func="${nested_func%%__*}"
607
	contains "$func" "${FUNCNAME[@]}" || \
608
		die "$nested_func() must be used by $func()"
609
}
610

    
611

    
612
#### paths
613

    
614
# cache realpath
615
: "${realpath_cache=}" # default off because slower than without
616
if test "$realpath_cache"; then
617
func_override realpath__no_cache
618
realpath() # caches the last result for efficiency
619
{
620
	local cache_key="$*"; load_cache
621
	if ! cached; then save_cache "$(realpath__no_cache "$@")" || return; fi
622
	echo_cached_value
623
}
624
fi
625

    
626
rel_path() # usage: base_dir=... path=... rel_path
627
{
628
	kw_params base_dir path
629
	: "${base_dir:?}" "${path:?}"
630
	
631
	local path="$path/" # add *extra* / to match path when exactly = base_dir
632
	path="${path#$base_dir/}" # remove prefix shared with base_dir
633
	path="${path%/}" # remove any remaining extra trailing /
634
	
635
	if test ! "$path"; then path=.; fi # ensure non-empty
636
	
637
	echo_vars path
638
	echo "$path"
639
}
640

    
641
cd -P . # expand symlinks in $PWD so it matches the output of realpath
642
# do before setting $top_script_abs so realpath has less symlinks to resolve
643

    
644
canon_rel_path() # usage: [base_dir=...] canon_rel_path path
645
{
646
	kw_params base_dir; local base_dir="${base_dir-$PWD}"
647
	base_dir="$(realpath "$base_dir")" || return
648
	local path; path="$(realpath "$1")" || return
649
	rel_path
650
}
651

    
652
canon_dir_rel_path() # usage: [base_dir=...] canon_dir_rel_path path
653
# if the path is a symlink, just its parent dir will be canonicalized
654
{
655
	kw_params base_dir; local base_dir="${base_dir-$PWD}"
656
	base_dir="$(realpath "$base_dir")" || return
657
	local path; path="$(realpath "$(dirname "$1")")/$(basename "$1")" || return
658
	rel_path
659
}
660

    
661
# makes $1 a canon_rel_path if it's a filesystem path
662
alias cmd2rel_path="$(cat <<'EOF'
663
if test "$(type -t "$1")" = file && test -e "$1"; then # not relative to PATH
664
	declare _1="$1"; shift
665
	_1="$(log++ canon_rel_path "$_1")" || return
666
	set -- "$_1" "$@"
667
fi
668
EOF
669
)"
670

    
671
# usage: path_parents path; use ${dirs[@]} # includes the path itself
672
function path_parents()
673
{
674
	echo_func; local path="$1" prev_path=; dirs=()
675
	while test "$path" != "$prev_path"; do
676
		prev_path="$path"
677
		dirs+=("$path")
678
		path="${path%/*}"
679
	done
680
}
681
alias path_parents='declare dirs; "path_parents"'
682

    
683

    
684
#### verbose output
685

    
686

    
687
### command echoing
688

    
689
alias echo_params='log "$*"'
690

    
691
fi # load new aliases
692
if self_being_included; then
693

    
694
echo_cmd() { echo_params; }
695

    
696
function echo_run() { echo_params; "$@"; }
697
# see echo_run alias after stub
698

    
699
echo_builtin() { echo_run builtin "$@"; } # usage: echo_builtin builtin_cmd...
700

    
701
echo_eval() { echo_params; builtin eval "$@"; }
702

    
703
# usage: redirs=(...); [cmd_name_log_inc=#] echo_redirs_cmd
704
function echo_redirs_cmd()
705
{
706
	local cmd_name_log_inc="${cmd_name_log_inc-0}"
707
	
708
	# print <>file redirs before cmd, because they introduce it
709
	log+ "$cmd_name_log_inc" echo_cmd "$@" $(
710
		set -- "${redirs[@]}" # operate on ${redirs[@]}
711
		while test "$#" -gt 0 && starts_with '[<>][^&]' "$1"
712
		do log "$1 \\"; shift; done # log() will run *before* echo_cmd itself
713
		echo "$@"
714
	)
715
}
716
alias echo_redirs_cmd='"echo_redirs_cmd" "$@"'
717

    
718
## vars
719

    
720
echo_vars() # usage: echo_vars var... # only prints vars that are defined
721
{
722
	log_local; log+ 2
723
	if can_log; then
724
		local var
725
		for var in "${@%%=*}"; do
726
			if isset "$var"; then log "$(declare -p "$var")"; fi
727
		done
728
	fi
729
}
730

    
731
echo_export() { builtin export "$@"; echo_vars "$@"; }
732

    
733
alias export="echo_export" # automatically echo env vars when they are set
734

    
735
func_override kw_params__lang
736
kw_params() { kw_params__lang "$@"; echo_vars "$@"; } # echo all keyword params
737

    
738
## functions
739

    
740
# usage: local func=...; set_func_loc; use $file, $line
741
alias set_func_loc="$(cat <<'EOF'
742
: "${func:?}"
743
local func_info="$(shopt -s extdebug; declare -F "$func")" # 'func line file'
744
func_info="${func_info#$func }"
745
local line="${func_info%% *}"
746
local file="${func_info#$line }"
747
EOF
748
)"
749

    
750
fi # load new aliases
751
if self_being_included; then
752

    
753
func_loc() # gets where function declared in the format file:line
754
{
755
	local func="$1"; set_func_loc
756
	file="$(canon_rel_path "$file")" || return
757
	echo "$file:$line"
758
}
759

    
760
# usage: func() { echo_func; ... }
761
function echo_func()
762
# usage: "echo_func" "$FUNCNAME" "$@" && indent || true
763
# exit status: whether function call was echoed
764
{
765
	log_local; log++; can_log || return
766
	local func="$1"; shift
767
	local loc; loc="$(log++ func_loc "$func")" || return
768
	echo_cmd "$func" "$@" "   $(plain "@$loc")"
769
}
770
# see echo_func alias after stub
771

    
772
fi # load new aliases
773
if self_being_included; then
774

    
775

    
776
#### streams
777

    
778
fd_exists() { (: <&"$1") 2>/dev/null; }
779

    
780
require_fd_not_exists() # usage: require_fd_not_exists fd || return 0
781
{ ! fd_exists "$1" || type=info die "fd $1 already exists, skipping"; }
782

    
783
set_fds() # usage: set_fds redirect...
784
# WARNING: does not currently support redirecting an fd to itself (due to bash
785
# bug that requires the dest fd to be closed before it can be reopened)
786
{
787
	echo_func
788
	
789
	# add #<>&- before every #<>&# reopen to fix strange bash bug
790
	local redirs=() i
791
	for i in "$@"; do
792
		# remove empty redirects resulting from using `redirs= cmd...` to clear
793
		# the redirs and then using $redirs as an array
794
		if test "$i"; then
795
			local redir_prefix="$(match_prefix '*[<>]' "$i")"
796
			local dest="$(        rm_prefix    '*[<>]' "$i")"
797
			if test "$dest" && ! starts_with '&' "$dest"; then # escape dest
798
				i="$redir_prefix$(printf %q "$dest")"
799
			fi
800
			if test "$redir_prefix"; then redirs+=("$redir_prefix&-"); fi
801
			redirs+=("$i")
802
		fi
803
	done
804
	set -- "${redirs[@]}"
805
	
806
	if (($# > 0)); then echo_eval exec "$@"; fi
807
}
808

    
809
fd_set_default() # usage: fd_set_default 'dest[<>]src'
810
{
811
	echo_func
812
	local dest="${1%%[<>]*}"
813
	require_fd_not_exists "$dest" || return 0
814
	set_fds "$1"
815
}
816

    
817
stdout2fd() # usage: fd=# stdout2fd cmd...
818
{
819
	echo_func; kw_params fd; : "${fd?}"
820
	if test "$fd" != 1; then local redirs=(">&$fd" "${redirs[@]}"); fi
821
	redir "$@"
822
}
823

    
824
function filter_fd() # usage: (fd=# [redirs=] filter_fd filter_cmd...; \
825
# with filter...) # be sure ${redirs[@]} is not set to an outer value
826
# useful e.g. to filter logging output or highlight errors
827
{
828
	echo_func; kw_params fd; : "${fd?}"
829
	set_fds "$fd>" >(pipe_delay; stdout2fd "$@")
830
	pipe_delay; pipe_delay # wait for >()'s pipe_delay and initial logging
831
}
832
alias filter_fd='"filter_fd" ' # last space alias-expands next word
833

    
834
stderr2stdout() # usage: { stderr2stdout cmd...|use stderr...; } 41>&1
835
# **IMPORTANT**: fd 41 must later be redirected back to fd 1
836
# unlike `2>&1`, logs stderr
837
# redirects the command stdout to fd 41 to avoid collision with stderr
838
{
839
	echo_func
840
	# command causes log_fd to be re-filtered, so that stderr is also filtered.
841
	# fd 2 is *not* redirected back to fd 2, to allow log-filtering out an
842
	# otherwise-confusing benign error.
843
	"$@" 2> >(command tee /dev/fd/"$log_fd") >&41 # redirects 2->{1,log_fd}
844
}
845

    
846
stdout_contains()
847
# usage: { stderr2stdout cmd|stdout_contains echo_run grep ...; } 41>&1
848
{ echo_func; pipe_delay; pipe_delay; pipe_delay; "$@"|echo_stdout >/dev/null; }
849

    
850
stderr_matches() # usage: pattern=... [ignore_e=#] stderr_matches cmd...
851
{
852
	echo_func; kw_params pattern ignore_e; : "${pattern?}"
853
	if test "$ignore_e"; then local benign_error=1; fi
854
	
855
	# not necessary to allow callers to handle the error themselves (which would
856
	# require *every* caller to wrap this function in prep_try/rethrow), because
857
	# they would just handle it by errexiting anyways
858
	prep_try
859
	
860
	set +o errexit # avoid errexiting since @PIPESTATUS will be used instead
861
	{ stderr2stdout "$@"|stdout_contains echo_run grep -E "$pattern"; } 41>&1
862
	local PIPESTATUS_=("${PIPESTATUS[@]}") # save b/c it's reset after each cmd
863
	set -o errexit
864
	
865
	# handle any error
866
	e="${PIPESTATUS_[0]}" # 1st command's exit status -> $e
867
	ignore_e "$ignore_e" # also works w/ ignore_e=''
868
	rethrow_exit
869
	
870
	return "${PIPESTATUS_[1]}" # 2nd command's exit status -> $?
871
}
872

    
873
fi # load new aliases
874
if self_being_included; then
875

    
876
function ignore_err_msg() # usage: pattern=... [ignore_e=#] ignore_err_msg cmd
877
# unlike `|| true`, this suppresses only errors caused by a particular error
878
# *message*, rather than all error exit statuses
879
{
880
	echo_func; kw_params pattern; : "${pattern?}"
881
	stderr_matches "$@" || true # also ignore false exit status on no match
882
}
883
alias ignore_err_msg='"ignore_err_msg" ' # last space alias-expands next word
884

    
885
# convention: use fd 40/41/42 for command-specific alternate stdin/stdout/stderr
886
# mnemonic: 4 looks like A for Alternate
887
# do NOT use 1x, which are used by eval (which is used by set_fds())
888
# do NOT use 2x, which we use as global stdin/stdout/stderr
889
# do NOT use 3x, which we use for logging
890

    
891
setup_log_fd() # view logging output at verbosity >= 5
892
{
893
	log_local; log+ 4; log-- echo_func 
894
	fd_set_default '30>&2' || true # stdlog
895
	log_fd=30 # stdlog
896
}
897
setup_log_fd
898

    
899
set_global_fds()
900
# allows commands to access global stdin/stdout/stderr using fd 20/21/22
901
# this works even when /dev/tty isn't available
902
# view logging output at verbosity >= 3
903
{
904
	log_local; log+ 2; log-- echo_func
905
	# ignore errors if a source fd isn't open
906
	fd_set_default '20<&0' || true
907
	fd_set_default '21>&1' || true
908
	fd_set_default '22>&2' || true
909
}
910
set_global_fds
911

    
912
# usage: explicit_errors_only=1 script...
913
# show only explicitly-displayed errors (which have been redirected to fd 22)
914
# most of the time this has the same effect as `verbosity=0 script...`,
915
# which displays everything that isn't explicitly hidden
916
# this option should only be used for testing the explicit error displaying
917
if test "$explicit_errors_only"; then disable_logging; fi
918

    
919

    
920
echo_vars is_outermost
921

    
922

    
923
#### paths
924

    
925
top_script="${BASH_SOURCE[${#BASH_SOURCE[@]}-1]}"
926
	# outermost script; unlike $0, also defined for .-scripts
927

    
928
top_symlink_dir="$(dirname "$top_script")"; echo_vars top_symlink_dir
929
top_symlink_dir_abs="$(realpath "$top_symlink_dir")"
930
	echo_vars top_symlink_dir_abs
931

    
932
top_script_abs="$(realpath "$top_script")"; echo_vars top_script_abs
933
	# realpath this before doing any cd so this points to the right place
934
top_dir_abs="$(dirname "$top_script_abs")"; echo_vars top_dir_abs
935

    
936
set_paths()
937
{
938
	top_script="$(log++ canon_rel_path "$top_script_abs")" || return
939
		echo_vars top_script
940
	top_dir="$(dirname "$top_script")" || return; echo_vars top_dir
941
}
942
set_paths
943

    
944
# usage: $(enter_top_dir; cmd...)
945
function enter_top_dir() { echo_func; cd "$top_dir"; }
946
alias enter_top_dir='log++; "enter_top_dir"'
947

    
948
# usage: in_top_dir cmd...
949
function in_top_dir() { echo_func; (enter_top_dir; "$@"); }
950
alias in_top_dir='"in_top_dir" ' # last space alias-expands next word
951

    
952
PATH_rm() # usage: PATH_rm path... # removes components from the PATH
953
{
954
	echo_func; echo_vars PATH; : "${PATH?}"
955
	log_local
956
	log+ 2
957
	split : "$PATH"
958
	local new_paths=()
959
	for path in "${parts[@]}"; do
960
		if ! contains "$path" "$@"; then new_paths+=("$path"); fi
961
	done
962
	PATH="$(delim=: join "${new_paths[@]}")" || return
963
	log- 2
964
	echo_vars PATH
965
}
966

    
967
no_PATH_recursion() # usage: (no_PATH_recursion; cmd...)
968
# allows running a system command of the same name as the script
969
{
970
	echo_func
971
	PATH_rm "$top_dir_abs" "$top_symlink_dir" "$top_symlink_dir_abs" "$top_dir"
972
}
973

    
974
# makes command in $1 nonrecursive
975
# allows running a system command of the same name as the script
976
alias cmd2abs_path="$(cat <<'EOF'
977
declare _1="$1"; shift
978
_1="$(indent; no_PATH_recursion; log++; which "$_1"|echo_stdout)" || return
979
set -- "$_1" "$@"
980
EOF
981
)"
982

    
983

    
984
#### verbose output
985

    
986

    
987
## internal commands
988

    
989
.()
990
{
991
	log++ log++ echo_func
992
	cmd2rel_path; set -- "$FUNCNAME" "$@"
993
	if (log++; echo_params; can_log); then indent; fi
994
	builtin "$@"
995
}
996

    
997
.rel() # usage: .rel file [args...] # file relative to ${BASH_SOURCE[0]} dir
998
{
999
	log++ log++ echo_func; local file="$1"; shift
1000
	. "$(canon_rel_path "$(dirname "$(realpath "${BASH_SOURCE[1]}")")/$file")" \
1001
"$@"
1002
}
1003

    
1004
cd() # indent is permanent within subshell cd was used in
1005
{
1006
	log_local; log++ echo_func
1007
	cmd2rel_path; echo_cmd "$FUNCNAME" "$@"
1008
	if can_log; then caller_indent; fi
1009
	# -P: expand symlinks so $PWD matches the output of realpath
1010
	builtin "$FUNCNAME" -P "$@"
1011
	
1012
	func=realpath clear_cache
1013
	set_paths
1014
}
1015

    
1016
## external commands
1017

    
1018
disable_logging() { set_fds "$log_fd>/dev/null"; }
1019

    
1020
function redir() # usage: local redirs=(#<>...); redir cmd...; unset redirs
1021
# to view only explicitly-displayed errors: explicit_errors_only=1 script...
1022
{
1023
	echo_func; kw_params redirs
1024
	
1025
	case "$1" in redir|command) "$@"; return;; esac # redir will be run later
1026
	(
1027
		log++ set_fds "${redirs[@]}"
1028
		unset redirs # don't redirect again in invoked command
1029
		(case "$1" in command__exec) shift;; esac; echo_redirs_cmd)
1030
		"$@"
1031
	) || return
1032
}
1033
alias redir='"redir" ' # last space alias-expands next word
1034

    
1035
alias_append save_e '; unset redirs' # don't redirect error handlers
1036

    
1037
fi # load new aliases
1038
if self_being_included; then
1039

    
1040
command() # usage: [cmd_log_fd=|1|2|#] [verbosity_min=] [nonrecursive=1] \
1041
# command extern_cmd...
1042
{
1043
	echo_func; kw_params log_fd cmd_log_fd redirs verbosity_min
1044
	# if no cmd_log_fd, limit log_fd in case command uses util.sh
1045
	local cmd_log_fd="${cmd_log_fd-$log_fd}"
1046
	local redirs=("${redirs[@]}")
1047
	
1048
	# determine redirections
1049
	if test "$cmd_log_fd"; then
1050
		if can_log; then
1051
			if test "$cmd_log_fd" != "$log_fd"; then
1052
				redirs+=("$cmd_log_fd>&$log_fd")
1053
			fi # else no redir needed
1054
		else redirs+=("$cmd_log_fd>/dev/null");
1055
		fi
1056
	fi
1057
	
1058
	if test "$nonrecursive"; then cmd2abs_path; else cmd2rel_path; fi
1059
	redir command__exec "$@" || die_e
1060
}
1061
command__exec()
1062
{
1063
	ensure_nested_func
1064
	if can_log; then indent; fi
1065
	if test "$verbosity_min"; then verbosity_min "$verbosity_min"; fi
1066
	verbosity_compat
1067
	builtin command "$@"
1068
}
1069

    
1070

    
1071
### external command input/output
1072

    
1073
echo_stdin() # usage: input|echo_stdin|cmd
1074
{
1075
	if can_log; then
1076
		pipe_delay
1077
		echo ----- >&"$log_fd"
1078
		tee -a /dev/fd/"$log_fd";
1079
		echo ----- >&"$log_fd"
1080
	else cat
1081
	fi
1082
}
1083

    
1084
echo_stdout() { echo_stdin; } # usage: cmd|echo_stdout
1085

    
1086

    
1087
#### commands
1088

    
1089
already_exists_msg() # usage: cond || what=... already_exists_msg || return 0
1090
{
1091
	type=info die "$what already exists, skipping
1092
$(mk_hint 'to force-remake, prepend `rm=1` to the command')"
1093
}
1094

    
1095
require_not_exists() # usage: require_not_exists file || return 0
1096
{ test ! -e "$1" || what="file \"$1\"" already_exists_msg; }
1097

    
1098
function to_file() # usage: stdout=... [if_not_exists=1] [del=] to_file cmd...
1099
# auto-removes a command's output file on error (like make's .DELETE_ON_ERROR)
1100
{
1101
	echo_func; kw_params stdout if_not_exists del
1102
	: "${stdout?}"; local del="${del-1}"
1103
	if test "$if_not_exists"; then require_not_exists "$stdout" || return 0; fi
1104
	
1105
	local redirs=("${redirs[@]}" ">$stdout")
1106
	redir "$@" || { save_e; test ! "$del" || rm "$stdout"; rethrow; }
1107
}
1108
alias to_file='"to_file" ' # last space alias-expands next word
1109

    
1110
log_bg() { symbol='&' log_custom "$@"; }
1111

    
1112
log_last_bg() { log_bg '$!='"$!"; }
1113

    
1114
function bg_cmd() # usage: bg_cmd cmd...
1115
{ echo_func; log_bg "$@"; "$@" & log_last_bg; }
1116
alias bg_cmd='"bg_cmd" ' # last space alias-expands next word
1117

    
1118

    
1119
#### filesystem
1120

    
1121
alias mkdir='mkdir -p'
1122

    
1123
alias file_size=\
1124
"stat `case "$(uname)" in Darwin) echo -f %z;; *) echo --format=%s;; esac`"
1125

    
1126
alias wildcard='shopt -s nullglob; echo' # usage: "$(wildcard glob...)"
1127
alias wildcard1='shopt -s nullglob; echo1' # usage: "$(wildcard1 glob...)"
1128

    
1129
fi # load new aliases
1130
if self_being_included; then
1131

    
1132
mv2dir() { echo_func; mkdir "${!#}"; mv "$@"; } # usage: mv2dir ... dir
1133

    
1134
# usage: (mv_glob ... dir)
1135
function mv_glob() { echo_func; if (($# > 1)); then mv2dir "$@"; fi; }
1136
alias mv_glob='shopt -s nullglob; "mv_glob"'
1137

    
1138

    
1139
#### URLs
1140

    
1141
localize_url() { test _"$1" = _"$(hostname -f)" || echo "$1"; }
1142

    
1143
fi
(10-10/11)