Searched refs:replace_ext (Results 1 – 2 of 2) sorted by relevance
385 replace_ext() { function418 …_replace_exts_new_name=$(replace_ext "$_replace_exts_file" "$_replace_exts_ext1" "$_replace_exts_e…2037 o=$(replace_ext "$f" "c" "o")