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() { test "${!1+isset}"; }
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
#### vars
42

    
43
set_var() { eval "$1"'="$2"'; }
44

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

    
47
set_inv() { set_var no_"$1" "$(test "${!1}" || echo 1)"; }
48

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

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

    
55
alias local_export='declare -x' # combines effects of local and export
56

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

    
59
# usage: local prefix=..._; import_vars
60
# when used inside another alias 2+ levels deep, *must* be run inside a function
61
alias import_vars="$(cat <<'EOF'
62
: "${prefix:?}"
63
declare src_var dest_var
64
for src_var in $(get_prefix_vars); do
65
	dest_var="${src_var#$prefix}"
66
	declare "$dest_var=${!src_var}"; echo_vars "$dest_var"
67
done
68
EOF
69
)"
70

    
71

    
72
#### caching
73

    
74
## shell-variable-based caching
75

    
76
# usage: local cache_key=...; load_cache; \
77
# if ! cached; then save_cache value || return; fi; echo_cached_value
78
# cache_key for function inputs: "$(declare -p kw_param...) $*"
79
alias load_cache='declare cache_var="$(str2varname "${FUNCNAME}___$cache_key")"'
80
alias cached='isset "$cache_var"'
81
alias save_cache='set_var "$cache_var"'
82
alias echo_cached_value='echo "${!cache_var}"'
83

    
84
clear_cache() # usage: func=... clear_cache
85
{ : "${func:?}"; unset $(prefix="${func}___" get_prefix_vars); }
86

    
87
fi # load new aliases
88
if self_being_included; then
89

    
90

    
91
#### aliases
92

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

    
95
# usage: alias alias_='var=value run_cmd '
96
function run_cmd() { "$@"; }
97
alias run_cmd='"run_cmd" ' # last space alias-expands next word
98

    
99

    
100
#### functions
101

    
102
kw_params() # usage: func() { kw_params param_var...; }; ...; param_var=... cmd
103
# removes keyword-param-only vars from the environment
104
{ unexport "$@"; }
105

    
106
alias self='command "$FUNCNAME"' # usage: wrapper() { self ...; }
107

    
108

    
109
#### exceptions
110

    
111
# usage: cmd || { save_e; ...; rethrow; }
112
alias export_e='e=$?'
113
alias save_e='declare e=$?'
114
alias rethrow='return "$e"'
115
alias rethrow_subshell='exit "$e"'
116

    
117
fi # load new aliases
118
if self_being_included; then
119

    
120
# usage: try cmd...; ignore_e status; if catch status; then ...; fi; end_try
121

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

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

    
127
ignore_e() { catch "$@" || true; }
128

    
129
alias end_try='rethrow'
130
alias end_try_subshell='rethrow_subshell'
131

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

    
134
### signals
135

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

    
138
ignore_sig() { ignore "$(sig_e "$1")"; }
139

    
140
# usage: piped_cmd cmd1...|cmd2... (which doesn't read all its input)
141
function piped_cmd() { "$@" || ignore_sig SIGPIPE; }
142
alias piped_cmd='"piped_cmd" ' # last space alias-expands next word
143

    
144
fi # load new aliases
145
if self_being_included; then
146

    
147

    
148
#### integers
149

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

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

    
155
int2bool() { (( "$1" != 0 )); }
156

    
157

    
158
#### floats
159

    
160
int_part() { echo "${1%%.*}"; }
161

    
162
dec_suffix() { echo "${1#$(int_part "$1")}"; }
163

    
164
round_down() { int_part "$1"; }
165

    
166
float+int() { echo "$(($(int_part "$1")+$2))$(dec_suffix "$1")"; }
167

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

    
170

    
171
#### strings
172

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

    
175
repeat() # usage: str=... n=... repeat
176
{
177
	: "${str?}" "${n:?}"; local result= n="$n" # n will be modified in function
178
	for (( ; n > 0; n-- )); do result="$result$str"; done
179
	echo "$result"
180
}
181

    
182
sed_cmd="sed -`case "$(uname)" in Darwin) echo E;; *) echo r;; esac`"
183
alias sed="$sed_cmd"
184

    
185
fi # load new aliases
186
if self_being_included; then
187

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

    
190

    
191
#### arrays
192

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

    
195
reverse() # usage: array=($(reverse args...))
196
{
197
	local i
198
	for (( i=$#; i > 0; i-- )); do printf '%q ' "${!i}"; done
199
}
200

    
201
contains() # usage: contains value in_array...
202
{
203
	local value="$1"; shift
204
	local elem
205
	for elem in "$@"; do if test "$elem" = "$value"; then return 0; fi; done
206
	return 1
207
}
208

    
209

    
210
#### verbose output
211

    
212

    
213
err_fd=2 # stderr
214

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

    
217

    
218
### log++
219

    
220
log_fd=2 # initially stderr
221

    
222
if test "$explicit_errors_only"; then verbosity=0; fi # hide startup logging
223

    
224
# set verbosity
225
if isset verbose; then : "${verbosity:=$(bool2int "$verbose")}"; fi
226
if isset vb; then : "${verbosity:=$vb}"; fi
227
: "${verbosity=1}" # default
228
: "${verbosity:=0}" # ensure non-empty
229
export verbosity # propagate to invoked commands
230
export PS4 # follows verbosity, so also propagate this
231

    
232
# set log_level
233
: "${log_level=$(( ${#PS4}-1 ))}" # defaults to # non-space symbols in PS4
234
export log_level # propagate to invoked commands
235

    
236
verbosity_int() { round_down "$verbosity"; }
237

    
238
# verbosities (and `make` equivalents):
239
# 0: just print errors. useful for cron jobs.
240
#    vs. make: equivalent to --silent, but suppresses external command output
241
# 1: also external commands run. useful for running at the command line.
242
#    vs. make: not provided (but sorely needed to avoid excessive output)
243
# 2: full graphical call tree. useful for determining where error occurred.
244
#    vs. make: equivalent to default verbosity, but with much-needed indents
245
# 3: also values of kw params and variables. useful for low-level debugging.
246
#    vs. make: not provided; need to manually use $(error $(var))
247
# 4: also variables in util.sh commands. useful for debugging util.sh.
248
#    vs. make: somewhat similar to --print-data-base
249
# 5: also variables in logging commands themselves. useful for debugging echo_*.
250
#    vs. make: not provided; need to search Makefile for @ at beginning of cmd
251
# 6+: not currently used (i.e. same as 5)
252

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

    
258
fi # load new aliases
259
if self_being_included; then
260

    
261
# usage: in func:      log++; ...         OR  log_local; "log++"; ...
262
#        outside func: log++; ...; log--
263
#        before cmd:   log++ cmd...
264
# without a cmd, "$@" expands to nothing and assignments are applied to caller
265
# "${@:2}" expands to all of $@ after *1st* arg, not 2nd ($@ indexes start at 1)
266
log+()
267
{
268
	# no local vars because w/o cmd, assignments should be applied to caller
269
	PS4="$(str="${PS4:0:1}" n=$((log_level+$1-1)) repeat)${PS4: -2}"; \
270
	log_level=$((log_level+$1)) \
271
	verbosity="$(float+int "$verbosity" "-$1")" "${@:2}"
272
}
273
log++() { log+  1 "$@"; }
274
log--() { log+ -1 "$@"; }
275
alias log_local=\
276
'declare PS4="$PS4" log_level="$log_level" verbosity="$verbosity"'
277
alias log+='log_local; "log+"' # don't expand next word because it's not a cmd
278
alias log++='log_local; "log++" ' # last space alias-expands next word
279
alias log--='log_local; "log--" ' # last space alias-expands next word
280

    
281
verbosity_min() # usage: verbosity_min min
282
{ if test "$(verbosity_int)" -lt "$1"; then verbosity="$1"; fi; }
283
alias verbosity_min='log_local; "verbosity_min"'
284

    
285

    
286
# indent for call tree. this is *not* the log_level (below).
287
: "${log_indent_step=| }" "${log_indent=}"
288
export log_indent_step log_indent # propagate to invoked commands
289

    
290
__caller_indent='log_indent="$log_indent$log_indent_step"'
291
alias caller_indent="$__caller_indent"
292
alias indent="declare $__caller_indent"
293

    
294

    
295
fi # load new aliases
296
if self_being_included; then
297

    
298
can_log() { test "$(verbosity_int)" -gt 0; }
299
	# verbosity=0 turns off all logging
300

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

    
303
log_custom() # usage: symbol=... log_custom msg
304
{ log_indent="${log_indent//[^ ]/$symbol}" PS4="${PS4//[^ ]/$symbol}" log "$@";}
305

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

    
308
log_info() { symbol=: log_custom "$@"; }
309

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

    
313
die_e() # usage: cmd || [benign_error=1] die_e [|| handle error]
314
{
315
	save_e; kw_params benign_error
316
	if test "$benign_error"; then log++; fi
317
	type="${benign_error:+info}" die "command exited with \
318
$(if test "$benign_error"; then echo status; else echo error; fi) $e"
319
	rethrow
320
}
321

    
322

    
323
#### functions
324

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

    
327
copy_func() # usage: from=... to=... copy_func
328
# $to must not exist. to get around the no-clobber restriction, use `unset -f`.
329
{
330
	: "${from:?}" "${to:?}"
331
	func_exists "$from" || die "function does not exist: $from"
332
	! func_exists "$to" || die "function already exists: $to"
333
	local from_def="$(declare -f "$from")"
334
	eval "$to${from_def#$from}"
335
}
336

    
337
func_override() # usage: func_override old_name__suffix
338
{ from="${1%__*}" to="$1" copy_func; }
339

    
340
ensure_nested_func() # usage: func__nested_func() { ensure_nested_func; ... }
341
{
342
	local nested_func="${FUNCNAME[1]}"
343
	local func="${nested_func%%__*}"
344
	contains "$func" "${FUNCNAME[@]}" || \
345
		die "$nested_func() must be used by $func()"
346
}
347

    
348

    
349
#### paths
350

    
351
# cache realpath
352
: "${realpath_cache=}" # default off because slower than without
353
if test "$realpath_cache"; then
354
func_override realpath__no_cache
355
realpath() # caches the last result for efficiency
356
{
357
	local cache_key="$*"; load_cache
358
	if ! cached; then save_cache "$(realpath__no_cache "$@")" || return; fi
359
	echo_cached_value
360
}
361
fi
362

    
363
rel_path() # usage: base_dir=... path=... rel_path
364
{
365
	log++; kw_params base_dir path
366
	: "${base_dir:?}" "${path:?}"
367
	
368
	local path="$path/" # add *extra* / to match path when exactly = base_dir
369
	path="${path#$base_dir/}" # remove prefix shared with base_dir
370
	path="${path%/}" # remove any remaining extra trailing /
371
	
372
	if test ! "$path"; then path=.; fi # ensure non-empty
373
	
374
	echo_vars path
375
	echo "$path"
376
}
377

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

    
381
canon_rel_path()
382
{
383
	local path; path="$(realpath "$1")" || return
384
	base_dir="$PWD" rel_path
385
}
386

    
387
# makes $1 a canon_rel_path if it's a filesystem path
388
alias cmd2rel_path="$(cat <<'EOF'
389
if test "$(type -t "$1")" = file && test -e "$1"; then # not relative to PATH
390
	declare _1="$1"; shift
391
	_1="$(canon_rel_path "$_1")" || return
392
	set -- "$_1" "$@"
393
fi
394
EOF
395
)"
396

    
397

    
398
#### verbose output
399

    
400

    
401
### command echoing
402

    
403
alias echo_params='log "$*"'
404

    
405
fi # load new aliases
406
if self_being_included; then
407

    
408
echo_cmd() { echo_params; }
409

    
410
function echo_run() { echo_params; "$@"; }
411
alias echo_run='"echo_run" ' # last space alias-expands next word
412

    
413
echo_eval() { echo_params; builtin eval "$@"; }
414

    
415
# usage: redirs=(...); echo_redirs_cmd
416
function echo_redirs_cmd()
417
{
418
	# print <>file redirs before cmd, because they introduce it
419
	echo_cmd "$@" $(
420
		set -- "${redirs[@]}" # operate on @redirs
421
		while test "$#" -gt 0 && starts_with '[<>][^&]' "$1"
422
		do log "$1 \\"; shift; done # log() will run *before* echo_cmd itself
423
		echo "$@"
424
	)
425
}
426
alias echo_redirs_cmd='"echo_redirs_cmd" "$@"'
427

    
428
## vars
429

    
430
echo_vars() # usage: echo_vars var...
431
{
432
	log+ 2
433
	if can_log; then
434
		local var
435
		for var in "${@%%=*}"; do
436
			if isset "$var"; then log "$(declare -p "$var")"; fi
437
		done
438
	fi
439
}
440

    
441
echo_export() { builtin export "$@"; echo_vars "$@"; }
442

    
443
alias export="echo_export" # automatically echo env vars when they are set
444

    
445
func_override kw_params__lang
446
kw_params() { kw_params__lang "$@"; echo_vars "$@"; } # echo all keyword params
447

    
448
## functions
449

    
450
# usage: local func=...; set_func_loc; use $file, $line
451
alias set_func_loc="$(cat <<'EOF'
452
: "${func:?}"
453
local func_info="$(shopt -s extdebug; declare -F "$func")" # 'func line file'
454
func_info="${func_info#$func }"
455
local line="${func_info%% *}"
456
local file="${func_info#$line }"
457
EOF
458
)"
459

    
460
fi # load new aliases
461
if self_being_included; then
462

    
463
func_loc() # gets where function declared in the format file:line
464
{
465
	local func="$1"; set_func_loc
466
	file="$(canon_rel_path "$file")" || return
467
	echo "$file:$line"
468
}
469

    
470
# usage: func() { [minor=1] echo_func; ... }
471
function echo_func()
472
# usage: [minor=1] "echo_func" "$FUNCNAME" "$@" && indent || true
473
# exit status: whether function call was echoed
474
{
475
	kw_params minor
476
	local func="$1"; shift
477
	
478
	log++; if test "$minor"; then log++; fi
479
	local loc; loc="$(func_loc "$func")" || return
480
	echo_cmd "$loc" "$func" "$@"
481
	can_log
482
}
483
alias echo_func='"echo_func" "$FUNCNAME" "$@" && indent || true'
484

    
485
fi # load new aliases
486
if self_being_included; then
487

    
488

    
489
#### streams
490

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

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

    
496
set_fds() { echo_func; echo_eval exec "$@"; } # usage: set_fds redirect...
497

    
498
fd_set_default() # usage: fd_set_default 'dest[<>]src'
499
{
500
	echo_func
501
	local dest="${1%%[<>]*}"
502
	require_fd_not_exists "$dest" || return 0
503
	set_fds "$1"
504
}
505

    
506
# convention: use fd 40/41/42 for command-specific alternate stdin/stdout/stderr
507
# do NOT use 1x, which are used by eval (which is used by set_fds())
508
# do NOT use 2x, which are used as global stdin/stdout/stderr
509
# do NOT use 3x, which are used for logging
510

    
511
setup_log_fd() # view logging output at verbosity >= 5
512
{
513
	log+ 4; log-- echo_func 
514
	fd_set_default '30>&2' || true # stdlog
515
	log_fd=30 # stdlog
516
}
517
setup_log_fd
518

    
519
set_global_fds()
520
# allows commands to access global stdin/stdout/stderr using fd 20/21/22
521
# this works even when /dev/tty isn't available
522
# view logging output at verbosity >= 3
523
{
524
	log+ 2; log-- echo_func
525
	# ignore errors if a source fd isn't open
526
	fd_set_default '20<&0' || true
527
	fd_set_default '21>&1' || true
528
	fd_set_default '22>&2' || true
529
}
530
set_global_fds
531
err_fd=22 # global stderr
532

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

    
540

    
541
#### paths
542

    
543
top_script_abs="$(realpath "$0")"; echo_vars top_script_abs # outermost script
544
	# realpath this before doing any cd so this points to the right place
545

    
546
set_paths()
547
{
548
	top_script="$(canon_rel_path "$top_script_abs")" || return
549
		echo_vars top_script
550
	top_dir="$(dirname "$top_script")" || return; echo_vars top_dir
551
}
552
set_paths
553

    
554

    
555
#### verbose output
556

    
557

    
558
## internal commands
559

    
560
.()
561
{
562
	cmd2rel_path; set -- "$FUNCNAME" "$@"
563
	if (log++; echo_params; can_log); then indent; fi
564
	builtin "$@"
565
}
566

    
567
cd() # indent is permanent within subshell cd was used in
568
{
569
	log++ echo_func
570
	cmd2rel_path; echo_cmd "$FUNCNAME" "$@"
571
	if can_log; then caller_indent; fi
572
	# -P: expand symlinks so $PWD matches the output of realpath
573
	builtin "$FUNCNAME" -P "$@"
574
	
575
	func=realpath clear_cache
576
	set_paths
577
}
578

    
579
## external commands
580

    
581
disable_logging() { set_fds "$log_fd>/dev/null"; }
582

    
583
function command()
584
# usage: [cmd_log_fd=|1|2|#] [redirs=...] [verbosity_min=] command extern_cmd...
585
# to view only explicitly-displayed errors: explicit_errors_only=1 script...
586
{
587
	log++ echo_func; kw_params cmd_log_fd redirs verbosity_min
588
	# if no cmd_log_fd, limit log_fd in case command uses util.sh
589
	local cmd_log_fd="${cmd_log_fd-$log_fd}"
590
	local redirs=("${redirs[@]}")
591
	
592
	# determine redirections now so they can be logged along with the command
593
	# the following redirections must happen in exactly this order
594
	if test "$cmd_log_fd"; then
595
		if can_log; then
596
			if test "$cmd_log_fd" != "$log_fd"; then
597
				redirs+=("$cmd_log_fd>&$log_fd")
598
			fi # else no redir needed
599
		else redirs+=("$cmd_log_fd>/dev/null");
600
		fi
601
	fi
602
	
603
	cmd2rel_path; echo_redirs_cmd
604
	
605
	# add after echoing command so it isn't echoed at the end of every command
606
	if test "$cmd_log_fd" != 2; then # fd 2 not used for logging
607
		redirs+=("2>&$err_fd") # assume fd 2 used for errors
608
	fi
609
	
610
	(
611
		if can_log; then indent; fi
612
		log++ set_fds "${redirs[@]}"
613
		
614
		if test "$verbosity_min"; then verbosity_min "$verbosity_min"; fi
615
		
616
		exec -- "$@" # -- so cmd name not treated as `exec` option
617
	) || die_e
618
}
619

    
620
# auto-echo common external commands
621
for cmd in env rm; do alias "$cmd=command $cmd"; done; unset cmd
622

    
623

    
624
### external command input/output
625

    
626
pipe_delay() # usage: cmd1 | { pipe_delay; cmd2; }
627
{ sleep 0.1; } # s; display after leading output of cmd1
628

    
629
fi # load new aliases
630
if self_being_included; then
631

    
632
echo_stdin() # usage: input|echo_stdin|cmd
633
{
634
	if can_log; then
635
		pipe_delay
636
		echo ----- >&"$log_fd"
637
		tee -a /dev/fd/"$log_fd";
638
		echo ----- >&"$log_fd"
639
	else cat
640
	fi
641
}
642

    
643
echo_stdout() { echo_stdin; } # usage: cmd|echo_stdout
644

    
645

    
646
#### commands
647

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

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

    
654
function to_file() # usage: stdout=... [if_not_exists=1] to_file cmd...
655
# auto-removes a command's output file on error (like make's .DELETE_ON_ERROR)
656
{
657
	echo_func; kw_params stdout
658
	: "${stdout?}"
659
	if test "$if_not_exists"; then require_not_exists "$stdout" || return 0; fi
660
	
661
	local redirs=("${redirs[@]}" ">$stdout")
662
	"$@" || { save_e; rm "$stdout"; rethrow; }
663
}
664
alias to_file='"to_file" ' # last space alias-expands next word
665

    
666
run_args_cmd() # runs the command line args command
667
{
668
	eval set -- "$(reverse "${BASH_ARGV[@]}")"
669
	test $# -ge 1 || set -- all
670
	echo_cmd "$top_script" "$@"; "$@"
671
}
672

    
673
fwd() # usage: subdirs=(...); fwd "$FUNCNAME" "$@"
674
{
675
	echo_func
676
	: "${subdirs?}"
677
	
678
	for subdir in "${subdirs[@]}"; do "$top_dir"/"$subdir"/run "$@"; done
679
}
680

    
681

    
682
#### filesystem
683

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

    
687

    
688
#### URLs
689

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

    
692
fi
(8-8/8)