Project

General

Profile

« Previous | Next » 

Revision 13241

lib/sh/util.sh: echo_redirs_cmd(): documented what the $(...) section does

View differences:

trunk/lib/sh/util.sh
980 980
	local cmd_name_log_inc="${cmd_name_log_inc-0}"
981 981
	
982 982
	log+ "$cmd_name_log_inc" echo_cmd "$@" $(
983
		# create redirs string
983 984
		set -- "${redirs[@]}" # operate on ${redirs[@]}
984 985
		while test "$#" -gt 0 && starts_with '[<>][^&]' "$1"
985 986
		# print <>file redirs before cmd, because they introduce it

Also available in: Unified diff