*********** REPLY SEPARATOR *********** On 6/11/2003 at 8:23 PM Patrick wrote: >Hi, > >After converting various gifs to png I still need to replace all >references to <pic>.gif in several html files to <pic>.png. Is there an >easy way to do this other than manually? Some sed/awk magic anyone? > >Thanks, >Patrick > > > >-- >Shrike-list mailing list >Shrike-list@xxxxxxxxxx >https://www.redhat.com/mailman/listinfo/shrike-list Couldn't you just edit your .html source in jedit, or similar program that allows for multiple file search and replace functions? That's the easiest way I know to do it. regards, shane
