Searched refs:src_file_prefix (Results 1 – 1 of 1) sorted by relevance
29 src_file_prefix="$1"42 if ! [[ $src_file == $src_file_prefix* ]]; then43 echo "$src_file_prefix is not a valid prefix of $src_file" >&253 src_file="${src_file#$src_file_prefix}"