how to modify file ext?

From: Hakan Koçak (hkocak@meteor.gov.tr)
Date: Mon Jun 23 2003 - 10:43:34 EDT


Hi all

in my script a variable keeps the name of all each file. I modify each file in
that directory then I will need to change the extension of each file (from gif
to jpg)
I looked at awk man pages but since awk takes a file as input (my script works
with variables) I thought I needed something else.

Does anyone know how I can do this?

Hakan
_______________________________________________
sunmanagers mailing list
sunmanagers@sunmanagers.org
http://www.sunmanagers.org/mailman/listinfo/sunmanagers



This archive was generated by hypermail 2.1.7 : Wed Apr 09 2008 - 23:26:38 EDT