How do I rename the extension for a bunch of files?

by

If using bash, there’s no need for external commands like sed, basename, rename, expr, etc.

for file in *.html
do
  mv "$file" "${file%.html}.txt"
done

More Related Contents:

  1. Renaming files in a folder to sequential numbers
  2. Batch renaming files with Bash
  3. Using sed to mass rename files
  4. How to rename with prefix/suffix?
  5. Get the Perl rename utility instead of the built-in rename
  6. How to Batch Rename Files in a macOS Terminal?
  7. How to zero pad numbers in file names in Bash?
  8. Renaming files with Bash, removing prefix and suffix
  9. Redirect stderr and stdout in Bash [duplicate]
  10. How to detect if a script is being sourced
  11. bash : Illegal number
  12. Delete files older than 10 days using shell script in Unix [duplicate]
  13. Remove Unicode characters from textfiles – sed , other Bash/shell methods
  14. How to replace an entire line in a text file by line number
  15. Simulating ENTER keypress in bash script
  16. Piping both stdout and stderr in bash?
  17. Why aliases in a non-interactive Bash shell do not work
  18. Using case for a range of numbers in Bash
  19. How to run some command before or after every Bash command entered from console?
  20. Script to get the HTTP status code of a list of urls?
  21. What is your single most favorite command-line trick using Bash? [closed]
  22. How can I print each command before executing? [duplicate]
  23. Using Bash to display a progress indicator (spinner) [duplicate]
  24. Can parameter expansion be nested in Bash? [duplicate]
  25. Looping over arrays, printing both index and value
  26. Temporarily change current working directory in bash to run a command [duplicate]
  27. Generating random number between 1 and 10 in Bash Shell Script [duplicate]
  28. How to break out of a loop in Bash?
  29. How to assign a glob expression to a variable in a Bash script?
  30. What’s the difference between “here string” and echo + pipe

Leave a Comment