• Notes
• Shell
• Tricks

Example of how to bulk rename files in bash

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