Searched refs:input_file (Results 1 – 1 of 1) sorted by relevance
29 input_file="" # first argument80 input_file="$1"136 ' < "$input_file" | awk "159 infile = \"$input_file\"