Question

I have many html files named 12345.html, 12346.html, etc. I need to change “style.css” to “style-12345.css” or the appropriate file name. I’m not sure what tool to use, recommendations?

Answer 1

This is pretty easily done with a for loop and sed:

for i in *.html; do
    sed -i "s/style\\.css/style-`basename $i .html`.css/g" $i
done

The loop runs the inner command with $i set to each .html filename. sed -i modifies the file in place. basename $i .html gets $i without the .html suffix (i.e. just the number)