Possible Duplicate:
makefile: how to add a prefix to the basename?
I have a lit of files (which I get from find bla -name "*.so") such as:
/bla/a1.so
/bla/a2.so
/bla/blo/a3.so
/bla/blo/a4.so
/bla/blo/bli/a5.so
and I want to rename them such as it becomes:
/bla/liba1.so
/bla/liba2.so
/bla/blo/liba3.so
/bla/blo/liba4.so
/bla/blo/bli/liba5.so
… i.e. add the prefix ‘lib’ to the basename
any idea on how to do that in bash ?
Something along the lines of:
should do it. You might want to add code to read the list of filenames from a file, rather than listing them verbatim in the script, of course.