Searched refs:sed_output (Results 1 – 1 of 1) sorted by relevance
34 sed_output='s/.* --output[ =]\([^ ]*\).*/\1/p'206 file=`echo "$*" | sed -n "$sed_output"`281 file=`echo "$*" | sed -n "$sed_output"`301 file=`echo "$*" | sed -n "$sed_output"`