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

    
40

    
41
#### stubs
42

    
43
__caller_indent='log_indent="$log_indent$log_indent_step"'
44
alias caller_indent="$__caller_indent"
45
alias indent="declare $__caller_indent"
46

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

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

    
53
function echo_vars() { :; }
54

    
55

    
56
#### vars
57

    
58
set_var() { eval "$1"'="$2"'; }
59

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

    
62
set_inv() { set_var no_"$1" "$(test "${!1}" || echo 1)"; }
63

    
64
# usage: local var=...; local_inv
65
alias local_inv='declare "no_$var=$(test "${!var}" || echo 1)"'
66

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

    
70
alias local_export='declare -x' # combines effects of local and export
71

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

    
74
# usage: local prefix=..._; import_vars
75
# when used inside another alias 2+ levels deep, *must* be run inside a function
76
alias import_vars="$(cat <<'EOF'
77
: "${prefix:?}"
78
declare src_var dest_var
79
for src_var in $(get_prefix_vars); do
80
	dest_var="${src_var#$prefix}"
81
	declare "$dest_var=${!src_var}"; echo_vars "$dest_var"
82
done
83
EOF
84
)"
85

    
86

    
87
#### caching
88

    
89
## shell-variable-based caching
90

    
91
# usage: local cache_key=...; load_cache; \
92
# if ! cached; then save_cache value || return; fi; echo_cached_value
93
# cache_key for function inputs: "$(declare -p kw_param...) $*"
94
alias load_cache='declare cache_var="$(str2varname "${FUNCNAME}___$cache_key")"'
95
alias cached='isset "$cache_var"'
96
alias save_cache='set_var "$cache_var"'
97
alias echo_cached_value='echo "${!cache_var}"'
98

    
99
clear_cache() # usage: func=... clear_cache
100
{ : "${func:?}"; unset $(prefix="${func}___" get_prefix_vars); }
101

    
102
fi # load new aliases
103
if self_being_included; then
104

    
105

    
106
#### aliases
107

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

    
110
# usage: alias alias_='var=value run_cmd '
111
function run_cmd() { "$@"; }
112
alias run_cmd='"run_cmd" ' # last space alias-expands next word
113

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

    
116

    
117
#### functions
118

    
119
kw_params() # usage: func() { kw_params param_var...; }; ...; param_var=... cmd
120
# removes keyword-param-only vars from the environment
121
{ unexport "$@"; }
122

    
123
# usage: cmd=... foreach_arg
124
function foreach_arg()
125
{
126
	echo_func; kw_params cmd; : "${cmd:?}"
127
	local a; for a in "$@"; do
128
		a="$(clog++ echo_run "$cmd" "$a")" || return; args+=("$a")
129
	done
130
	echo_vars args
131
}
132
alias foreach_arg='"foreach_arg" "$@"; set -- "${args[@]}"; unset args'
133

    
134
alias self='command "$FUNCNAME"' # usage: wrapper() { self ...; }
135
alias self_sys='command -p "$FUNCNAME"' # usage: wrapper() { self_sys ...; }
136

    
137
pf() { declare -f "$@"; } # usage: pf function # prints func decl for debugging
138

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

    
142

    
143
#### exceptions
144

    
145
# usage: cmd || { save_e; ...; rethrow; }
146
alias export_e='e=$?'
147
alias save_e='declare e=$?'
148
alias rethrow='return "$e"'
149
alias rethrow_subshell='exit "$e"'
150

    
151
fi # load new aliases
152
if self_being_included; then
153

    
154
# usage: try cmd...; ignore_e status; if catch status; then ...; fi; end_try
155

    
156
function try() { e=0; benign_error=1 "$@" || { export_e; true; }; }
157
alias try='declare e; "try" ' # last space alias-expands next word
158

    
159
catch() { test "$e" -eq "$1" && e=0; }
160

    
161
ignore_e() { catch "$@" || true; }
162

    
163
alias end_try='rethrow'
164
alias end_try_subshell='rethrow_subshell'
165

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

    
168
### signals
169

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

    
172
ignore_sig() { ignore "$(sig_e "$1")"; }
173

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

    
178
fi # load new aliases
179
if self_being_included; then
180

    
181

    
182
#### integers
183

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

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

    
189
int2exit() { (( "$1" != 0 )); }
190

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

    
193

    
194
#### floats
195

    
196
int_part() { echo "${1%%.*}"; }
197

    
198
dec_suffix() { echo "${1#$(int_part "$1")}"; }
199

    
200
round_down() { int_part "$1"; }
201

    
202
float+int() { echo "$(($(int_part "$1")+$2))$(dec_suffix "$1")"; }
203

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

    
206

    
207
#### strings
208

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

    
211
match_prefix() # usage: match_prefix pattern str
212
{ if starts_with "$1" "$2"; then echo "${2%${2#$1}}"; fi }
213

    
214
repeat() # usage: str=... n=... repeat
215
{
216
	: "${str?}" "${n:?}"; local result= n="$n" # n will be modified in function
217
	for (( ; n > 0; n-- )); do result="$result$str"; done
218
	echo "$result"
219
}
220

    
221
sed_cmd="sed -`case "$(uname)" in Darwin) echo E;; *) echo r;; esac`"
222
alias sed="$sed_cmd"
223

    
224
fi # load new aliases
225
if self_being_included; then
226

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

    
229

    
230
#### arrays
231

    
232
join() { local IFS="$delim"; echo "$*"; } # usage: delim=... join elems...
233

    
234
reverse() # usage: array=($(reverse args...))
235
{
236
	local i
237
	for (( i=$#; i > 0; i-- )); do printf '%q ' "${!i}"; done
238
}
239

    
240
contains() # usage: contains value in_array...
241
{
242
	local value="$1"; shift
243
	local elem
244
	for elem in "$@"; do if test "$elem" = "$value"; then return 0; fi; done
245
	return 1
246
}
247

    
248
#### streams
249

    
250
pipe_delay() # usage: cmd1 | { pipe_delay; cmd2; }
251
{ sleep 0.1; } # s; display after leading output of cmd1
252

    
253

    
254
#### verbose output
255

    
256

    
257
err_fd=2 # stderr
258

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

    
261

    
262
### log++
263

    
264
log_fd=2 # initially stderr
265

    
266
if test "$explicit_errors_only"; then verbosity=0; fi # hide startup logging
267

    
268
# set verbosity
269
if isset verbose; then : "${verbosity:=$(bool2int "$verbose")}"; fi
270
if isset vb; then : "${verbosity:=$vb}"; fi
271
: "${verbosity=1}" # default
272
: "${verbosity:=0}" # ensure non-empty
273
export verbosity # propagate to invoked commands
274
export PS4 # follows verbosity, so also propagate this
275

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

    
278
# set log_level
279
: "${log_level=$(( ${#PS4}-1 ))}" # defaults to # non-space symbols in PS4
280
export log_level # propagate to invoked commands
281

    
282
verbosity_int() { round_down "$verbosity"; }
283

    
284
# verbosities (and `make` equivalents):
285
# 0: just print errors. useful for cron jobs.
286
#    vs. make: equivalent to --silent, but suppresses external command output
287
# 1: also external commands run. useful for running at the command line.
288
#    vs. make: not provided (but sorely needed to avoid excessive output)
289
# 2: full graphical call tree. useful for determining where error occurred.
290
#    vs. make: equivalent to default verbosity, but with much-needed indents
291
# 3: also values of kw params and variables. useful for low-level debugging.
292
#    vs. make: not provided; need to manually use $(error $(var))
293
# 4: also variables in util.sh commands. useful for debugging util.sh.
294
#    vs. make: somewhat similar to --print-data-base
295
# 5: also variables in logging commands themselves. useful for debugging echo_*.
296
#    vs. make: not provided; need to search Makefile for @ at beginning of cmd
297
# 6+: not currently used (i.e. same as 5)
298

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

    
304
fi # load new aliases
305
if self_being_included; then
306

    
307
# usage: in func:      log++; ...         OR  log_local; "log++"; ...
308
#        outside func: log++; ...; log--
309
#        before cmd:  "log++" cmd  OR  "log+" # cmd  OR  "log++" "log++" cmd
310
# with a cmd, assignments are applied just to it, so log_local is not needed
311
# without a cmd, "$@" expands to nothing and assignments are applied to caller
312
# "${@:2}" expands to all of $@ after *1st* arg, not 2nd ($@ indexes start at 1)
313
log+()
314
{
315
	# no local vars because w/o cmd, assignments should be applied to caller
316
	PS4="$(str="${PS4:0:1}" n=$((log_level+$1-1)) repeat)${PS4: -2}"; \
317
	log_level=$((log_level+$1)) \
318
	verbosity="$(float+int "$verbosity" "-$1")" "${@:2}"
319
}
320
log++() { log+  1 "$@"; }
321
log--() { log+ -1 "$@"; }
322
alias log_local=\
323
'declare PS4="$PS4" log_level="$log_level" verbosity="$verbosity"'
324
alias log+='log_local; "log+"' # don't expand next word because it's not a cmd
325
alias log++='log_local; "log++" ' # last space alias-expands next word
326
alias log--='log_local; "log--" ' # last space alias-expands next word
327
# no clog+ alias because next word is not a cmd
328
alias clog++='"log++" ' # last space alias-expands next word
329
alias clog--='"log--" ' # last space alias-expands next word
330

    
331
verbosity_min() # usage: verbosity_min min
332
{ if test "$(verbosity_int)" -lt "$1"; then verbosity="$1"; fi; }
333
alias verbosity_min='log_local; "verbosity_min"'
334

    
335

    
336
# indent for call tree. this is *not* the log_level (below).
337
: "${log_indent_step=| }" "${log_indent=}"
338
export log_indent_step log_indent # propagate to invoked commands
339

    
340
# see indent alias in stubs
341

    
342

    
343
fi # load new aliases
344
if self_being_included; then
345

    
346
can_log() { test "$(verbosity_int)" -gt 0; }
347
	# verbosity=0 turns off all logging
348

    
349
log() { if can_log; then echo "$log_indent$PS4$1" >&"$log_fd"; fi; }
350

    
351
log_custom() # usage: symbol=... log_custom msg
352
{ log_indent="${log_indent//[^ ]/$symbol}" PS4="${PS4//[^ ]/$symbol}" log "$@";}
353

    
354
log_err() { symbol='#' verbosity=1 log_fd="$err_fd" log_custom "$@"; }
355

    
356
log_info() { symbol=: log_custom "$@"; }
357

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

    
361
die_e() # usage: cmd || [benign_error=1] die_e [|| handle error]
362
{
363
	save_e; kw_params benign_error
364
	if test "$benign_error"; then log++; fi
365
	type="${benign_error:+info}" die "command exited with \
366
$(if test "$benign_error"; then echo status; else echo error; fi) $e"
367
	rethrow
368
}
369

    
370

    
371
#### functions
372

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

    
375
copy_func() # usage: from=... to=... copy_func
376
# $to must not exist. to get around the no-clobber restriction, use `unset -f`.
377
{
378
	: "${from:?}" "${to:?}"
379
	func_exists "$from" || die "function does not exist: $from"
380
	! func_exists "$to" || die "function already exists: $to"
381
	local from_def="$(declare -f "$from")"
382
	eval "$to${from_def#$from}"
383
}
384

    
385
func_override() # usage: func_override old_name__suffix
386
{ from="${1%__*}" to="$1" copy_func; }
387

    
388
ensure_nested_func() # usage: func__nested_func() { ensure_nested_func; ... }
389
{
390
	local nested_func="${FUNCNAME[1]}"
391
	local func="${nested_func%%__*}"
392
	contains "$func" "${FUNCNAME[@]}" || \
393
		die "$nested_func() must be used by $func()"
394
}
395

    
396

    
397
#### paths
398

    
399
# cache realpath
400
: "${realpath_cache=}" # default off because slower than without
401
if test "$realpath_cache"; then
402
func_override realpath__no_cache
403
realpath() # caches the last result for efficiency
404
{
405
	local cache_key="$*"; load_cache
406
	if ! cached; then save_cache "$(realpath__no_cache "$@")" || return; fi
407
	echo_cached_value
408
}
409
fi
410

    
411
rel_path() # usage: base_dir=... path=... rel_path
412
{
413
	kw_params base_dir path
414
	: "${base_dir:?}" "${path:?}"
415
	
416
	local path="$path/" # add *extra* / to match path when exactly = base_dir
417
	path="${path#$base_dir/}" # remove prefix shared with base_dir
418
	path="${path%/}" # remove any remaining extra trailing /
419
	
420
	if test ! "$path"; then path=.; fi # ensure non-empty
421
	
422
	echo_vars path
423
	echo "$path"
424
}
425

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

    
429
canon_rel_path() # usage: [base_dir=...] canon_rel_path path
430
{
431
	kw_params base_dir; local base_dir="${base_dir-$PWD}"
432
	base_dir="$(realpath "$base_dir")" || return
433
	local path; path="$(realpath "$1")" || return
434
	rel_path
435
}
436

    
437
# makes $1 a canon_rel_path if it's a filesystem path
438
alias cmd2rel_path="$(cat <<'EOF'
439
if test "$(type -t "$1")" = file && test -e "$1"; then # not relative to PATH
440
	declare _1="$1"; shift
441
	_1="$(clog++ canon_rel_path "$_1")" || return
442
	set -- "$_1" "$@"
443
fi
444
EOF
445
)"
446

    
447
# usage: path_parents path; use ${dirs[@]} # includes the path itself
448
function path_parents()
449
{
450
	echo_func; local path="$1" prev_path=; dirs=()
451
	while test "$path" != "$prev_path"; do
452
		prev_path="$path"
453
		dirs+=("$path")
454
		path="${path%/*}"
455
	done
456
}
457
alias path_parents='declare dirs; "path_parents"'
458

    
459

    
460
#### verbose output
461

    
462

    
463
### command echoing
464

    
465
alias echo_params='log "$*"'
466

    
467
fi # load new aliases
468
if self_being_included; then
469

    
470
echo_cmd() { echo_params; }
471

    
472
function echo_run() { echo_params; "$@"; }
473
# see echo_run alias after stub
474

    
475
echo_eval() { echo_params; builtin eval "$@"; }
476

    
477
# usage: redirs=(...); [cmd_name_log_inc=#] echo_redirs_cmd
478
function echo_redirs_cmd()
479
{
480
	local cmd_name_log_inc="${cmd_name_log_inc-0}"
481
	
482
	# print <>file redirs before cmd, because they introduce it
483
	"log+" "$cmd_name_log_inc" echo_cmd "$@" $(
484
		set -- "${redirs[@]}" # operate on ${redirs[@]}
485
		while test "$#" -gt 0 && starts_with '[<>][^&]' "$1"
486
		do log "$1 \\"; shift; done # log() will run *before* echo_cmd itself
487
		echo "$@"
488
	)
489
}
490
alias echo_redirs_cmd='"echo_redirs_cmd" "$@"'
491

    
492
## vars
493

    
494
echo_vars() # usage: echo_vars var...
495
{
496
	log+ 2
497
	if can_log; then
498
		local var
499
		for var in "${@%%=*}"; do
500
			if isset "$var"; then log "$(declare -p "$var")"; fi
501
		done
502
	fi
503
}
504

    
505
echo_export() { builtin export "$@"; echo_vars "$@"; }
506

    
507
alias export="echo_export" # automatically echo env vars when they are set
508

    
509
func_override kw_params__lang
510
kw_params() { kw_params__lang "$@"; echo_vars "$@"; } # echo all keyword params
511

    
512
## functions
513

    
514
# usage: local func=...; set_func_loc; use $file, $line
515
alias set_func_loc="$(cat <<'EOF'
516
: "${func:?}"
517
local func_info="$(shopt -s extdebug; declare -F "$func")" # 'func line file'
518
func_info="${func_info#$func }"
519
local line="${func_info%% *}"
520
local file="${func_info#$line }"
521
EOF
522
)"
523

    
524
fi # load new aliases
525
if self_being_included; then
526

    
527
func_loc() # gets where function declared in the format file:line
528
{
529
	local func="$1"; set_func_loc
530
	file="$(canon_rel_path "$file")" || return
531
	echo "$file:$line"
532
}
533

    
534
# usage: func() { [minor=1] echo_func; ... }
535
function echo_func()
536
# usage: [minor=1] "echo_func" "$FUNCNAME" "$@" && indent || true
537
# exit status: whether function call was echoed
538
{
539
	kw_params minor
540
	local func="$1"; shift
541
	
542
	log++; if test "$minor"; then log++; fi
543
	local loc; loc="$(clog++ func_loc "$func")" || return
544
	echo_cmd "$loc" "$func" "$@"
545
	can_log
546
}
547
# see echo_func alias after stub
548

    
549
fi # load new aliases
550
if self_being_included; then
551

    
552

    
553
#### streams
554

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

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

    
560
set_fds() # usage: set_fds redirect...
561
{
562
	echo_func
563
	
564
	# add #<>&- before every #<>&# reopen to fix strange bash bug
565
	local redirs=() i
566
	for i in "$@"; do
567
		local redir_prefix="$(match_prefix '*[<>]' "$i")"
568
		if test "$redir_prefix"; then redirs+=("$redir_prefix&-"); fi
569
		redirs+=("$i")
570
	done
571
	set -- "${redirs[@]}"
572
	
573
	if (($# > 0)); then echo_eval exec "$@"; fi
574
}
575

    
576
fd_set_default() # usage: fd_set_default 'dest[<>]src'
577
{
578
	echo_func
579
	local dest="${1%%[<>]*}"
580
	require_fd_not_exists "$dest" || return 0
581
	set_fds "$1"
582
}
583

    
584
function filter_fd() # usage: (fd=# filter_fd filter_cmd...; with filter...)
585
# useful e.g. to filter logging output or highlight errors
586
{
587
	echo_func; kw_params fd; : "${fd?}"
588
	set_fds "$fd>" >(pipe_delay; redirs=(">&$fd" "${redirs[@]}"); redir "$@")
589
	pipe_delay; pipe_delay # wait for >()'s pipe_delay and initial logging
590
}
591
alias filter_fd='"filter_fd" ' # last space alias-expands next word
592

    
593
# convention: use fd 40/41/42 for command-specific alternate stdin/stdout/stderr
594
# do NOT use 1x, which are used by eval (which is used by set_fds())
595
# do NOT use 2x, which are used as global stdin/stdout/stderr
596
# do NOT use 3x, which are used for logging
597

    
598
setup_log_fd() # view logging output at verbosity >= 5
599
{
600
	log+ 4; log-- echo_func 
601
	fd_set_default '30>&2' || true # stdlog
602
	log_fd=30 # stdlog
603
}
604
setup_log_fd
605

    
606
set_global_fds()
607
# allows commands to access global stdin/stdout/stderr using fd 20/21/22
608
# this works even when /dev/tty isn't available
609
# view logging output at verbosity >= 3
610
{
611
	log+ 2; log-- echo_func
612
	# ignore errors if a source fd isn't open
613
	fd_set_default '20<&0' || true
614
	fd_set_default '21>&1' || true
615
	fd_set_default '22>&2' || true
616
}
617
set_global_fds
618

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

    
626

    
627
echo_vars is_outermost
628

    
629

    
630
#### paths
631

    
632
top_symlink_dir="$(dirname "$0")"; echo_vars top_symlink_dir
633
top_symlink_dir_abs="$(realpath "$top_symlink_dir")"
634
	echo_vars top_symlink_dir_abs
635

    
636
top_script_abs="$(realpath "$0")"; echo_vars top_script_abs # outermost script
637
	# realpath this before doing any cd so this points to the right place
638
top_dir_abs="$(dirname "$top_script_abs")"; echo_vars top_dir_abs
639

    
640
set_paths()
641
{
642
	top_script="$(clog++ canon_rel_path "$top_script_abs")" || return
643
		echo_vars top_script
644
	top_dir="$(dirname "$top_script")" || return; echo_vars top_dir
645
}
646
set_paths
647

    
648
PATH_rm() # usage: PATH_rm path... # removes components from the PATH
649
{
650
	echo_func; echo_vars PATH; : "${PATH?}"
651
	PATH=":$PATH:" # add *extra* : to match at beginning and end
652
	for path in "$@"; do PATH="${PATH//:$path:/:}"; done
653
	PATH="${PATH#:}" # remove any remaining extra leading :
654
	PATH="${PATH%:}" # remove any remaining extra trailing :
655
	echo_vars PATH
656
}
657

    
658
no_PATH_recursion() # usage: (no_PATH_recursion; cmd...)
659
# allows running a system command of the same name as the script
660
{
661
	echo_func
662
	PATH_rm "$top_dir_abs" "$top_symlink_dir" "$top_symlink_dir_abs" "$top_dir"
663
}
664

    
665

    
666
#### verbose output
667

    
668

    
669
## internal commands
670

    
671
.()
672
{
673
	cmd2rel_path; set -- "$FUNCNAME" "$@"
674
	if (log++; echo_params; can_log); then indent; fi
675
	builtin "$@"
676
}
677

    
678
cd() # indent is permanent within subshell cd was used in
679
{
680
	log++ echo_func
681
	cmd2rel_path; echo_cmd "$FUNCNAME" "$@"
682
	if can_log; then caller_indent; fi
683
	# -P: expand symlinks so $PWD matches the output of realpath
684
	builtin "$FUNCNAME" -P "$@"
685
	
686
	func=realpath clear_cache
687
	set_paths
688
}
689

    
690
## external commands
691

    
692
disable_logging() { set_fds "$log_fd>/dev/null"; }
693

    
694
function redir() # usage: local redirs=(#<>...); redir cmd...; unset redirs
695
# to view only explicitly-displayed errors: explicit_errors_only=1 script...
696
{
697
	echo_func; kw_params redirs
698
	
699
	case "$1" in redir|command) "$@"; return;; esac # redir will be run later
700
	(
701
		log++ set_fds "${redirs[@]}"
702
		(case "$1" in command__exec) shift;; esac; echo_redirs_cmd)
703
		"$@"
704
	) || return
705
}
706
alias redir='"redir" ' # last space alias-expands next word
707

    
708
alias_append save_e '; unset redirs' # don't redirect error handlers
709

    
710
command() # usage: [cmd_log_fd=|1|2|#] [verbosity_min=] command extern_cmd...
711
{
712
	echo_func; kw_params log_fd cmd_log_fd redirs verbosity_min
713
	# if no cmd_log_fd, limit log_fd in case command uses util.sh
714
	local cmd_log_fd="${cmd_log_fd-$log_fd}"
715
	local redirs=("${redirs[@]}")
716
	
717
	# determine redirections
718
	if test "$cmd_log_fd"; then
719
		if can_log; then
720
			if test "$cmd_log_fd" != "$log_fd"; then
721
				redirs+=("$cmd_log_fd>&$log_fd")
722
			fi # else no redir needed
723
		else redirs+=("$cmd_log_fd>/dev/null");
724
		fi
725
	fi
726
	
727
	cmd2rel_path
728
	redir command__exec "$@" || die_e
729
}
730
command__exec()
731
{
732
	ensure_nested_func
733
	if can_log; then indent; fi
734
	if test "$verbosity_min"; then verbosity_min "$verbosity_min"; fi
735
	builtin command "$@"
736
}
737

    
738
# auto-echo common external commands
739
for cmd in env rm; do alias "$cmd=command $cmd"; done; unset cmd
740

    
741

    
742
### external command input/output
743

    
744
echo_stdin() # usage: input|echo_stdin|cmd
745
{
746
	if can_log; then
747
		pipe_delay
748
		echo ----- >&"$log_fd"
749
		tee -a /dev/fd/"$log_fd";
750
		echo ----- >&"$log_fd"
751
	else cat
752
	fi
753
}
754

    
755
echo_stdout() { echo_stdin; } # usage: cmd|echo_stdout
756

    
757

    
758
#### commands
759

    
760
already_exists_msg() # usage: cond || what=... already_exists_msg || return 0
761
{ type=info die "$what already exists, skipping"; }
762

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

    
766
function to_file() # usage: stdout=... [if_not_exists=1] [del=] to_file cmd...
767
# auto-removes a command's output file on error (like make's .DELETE_ON_ERROR)
768
{
769
	echo_func; kw_params stdout if_not_exists del
770
	: "${stdout?}"; local del="${del-1}"
771
	if test "$if_not_exists"; then require_not_exists "$stdout" || return 0; fi
772
	
773
	local redirs=("${redirs[@]}" ">$stdout")
774
	redir "$@" || { save_e; test ! "$del" || rm "$stdout"; rethrow; }
775
}
776
alias to_file='"to_file" ' # last space alias-expands next word
777

    
778
log_bg() { symbol='&' log_custom "$@"; }
779

    
780
log_last_bg() { log_bg '$!='"$!"; }
781

    
782
function bg_cmd() { echo_func; "$@" & log_last_bg; } # usage: bg_cmd cmd...
783
alias bg_cmd='"bg_cmd" ' # last space alias-expands next word
784

    
785
run_args_cmd() # runs the command line args command
786
{
787
	eval set -- "$(reverse "${BASH_ARGV[@]}")"
788
	test $# -ge 1 || set -- all
789
	echo_cmd "$top_script" "$@"; "$@"
790
}
791

    
792
fwd() # usage: subdirs=(...); fwd "$FUNCNAME" "$@"
793
{
794
	echo_func
795
	: "${subdirs?}"
796
	
797
	for subdir in "${subdirs[@]}"; do "$top_dir"/"$subdir"/run "$@"; done
798
}
799

    
800

    
801
#### filesystem
802

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

    
806

    
807
#### URLs
808

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

    
811
fi
(9-9/9)