On Fri, May 20, 2005 at 11:33:24AM +0200, Emmanuel Seyman wrote: > On Thu, May 19, 2005 at 11:18:06PM -0400, Jeff Kinz wrote: > > > > To do what you want, in one simple line: > > > > rename JPG jpg * > > Nitpick : You're assuming that no file contains JPG in its name. > > rename .JPG .jpg *.JPG Actual implementation details will be left as an exercise for the student... ;-) (Translation - you're right.) -- Jeff Kinz, Emergent Research, Hudson, MA.
