in reply to Changing file extensions

I think all you probably need to do is run this shell command:
$ cd TroubleSomeDirectory $ rename -vi "s/\.te?xt\z/.html/i" *\ *
Using this venerable Perl rename script.

Replies are listed 'Best First'.
Re^2: Changing file extensions
by ikegami (Patriarch) on May 06, 2011 at 00:02 UTC
    Speaking of shell command, it's way simpler than that:
    >rename *.txt *.html
    aka
    >ren *.txt *.html