Re: OT: sed or awk command to add a file extension