I'm trying to change a relatively large group of files' extensions. I can remove the current extensions with basename I think, but I need a counterpart to add the correct extension.
One way to do this:
Change to the directory where your to-be-renamed files are, and enter (in bash):
|All times are GMT -5. The time now is 12:32 PM.|